/doc-src/Tutorial/ToyList/
drwxr-xr-x [up]
-rw-r--r-- 1998-08-26 17:27 +0200 19 ROOT.ML
-rw-r--r-- 1998-08-26 17:27 +0200 403 ToyList.ML
-rw-r--r-- 1998-08-26 17:27 +0200 368 ToyList.thy
-rw-r--r-- 1998-08-26 17:27 +0200 21 addsimps2
-rw-r--r-- 1998-08-26 17:27 +0200 14 autotac
-rw-r--r-- 1998-08-26 17:27 +0200 23 inductxs
-rw-r--r-- 1998-08-26 17:27 +0200 43 lemma1
-rw-r--r-- 1998-08-26 17:27 +0200 21 lemma2
-rw-r--r-- 1998-08-26 17:27 +0200 77 lemma3
-rw-r--r-- 1998-08-26 17:27 +0200 15 qed
-rw-r--r-- 1998-08-26 17:27 +0200 35 qed1
-rw-r--r-- 1998-08-26 17:27 +0200 16 qed2
-rw-r--r-- 1998-08-26 17:27 +0200 39 qed3
-rw-r--r-- 1998-08-26 17:27 +0200 25 thm