/doc-src/TutorialI/Misc/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2000-10-15 19:50 +0200 12038 AdvancedInd.thy
-rw-r--r-- 2000-10-15 19:50 +0200 5620 Itrev.thy
-rw-r--r-- 2000-10-15 19:50 +0200 279 ROOT.ML
-rw-r--r-- 2000-10-15 19:50 +0200 836 Tree.thy
-rw-r--r-- 2000-10-15 19:50 +0200 713 Tree2.thy
-rw-r--r-- 2000-10-15 19:50 +0200 140 arith1.thy
-rw-r--r-- 2000-10-15 19:50 +0200 140 arith2.thy
-rw-r--r-- 2000-10-15 19:50 +0200 112 arith3.thy
-rw-r--r-- 2000-10-15 19:50 +0200 2621 case_exprs.thy
-rw-r--r-- 2000-10-15 19:50 +0200 95 consts.thy
-rw-r--r-- 2000-10-15 19:50 +0200 210 fakenat.thy
-rw-r--r-- 2000-10-15 19:50 +0200 438 natsum.thy
-rw-r--r-- 2000-10-15 19:50 +0200 1069 pairs.thy
-rw-r--r-- 2000-10-15 19:50 +0200 631 prime_def.thy
-rw-r--r-- 2000-10-15 19:50 +0200 14449 simp.thy
-rw-r--r-- 2000-10-15 19:50 +0200 1472 types.thy