/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1998-06-25 13:57 +0200 1500 BT.ML
-rw-r--r-- 1998-06-25 13:57 +0200 1274 BT.thy
-rw-r--r-- 1998-06-25 13:57 +0200 3977 Fib.ML
-rw-r--r-- 1998-06-25 13:57 +0200 399 Fib.thy
-rw-r--r-- 1998-06-25 13:57 +0200 6553 Group.ML
-rw-r--r-- 1998-06-25 13:57 +0200 1075 Group.thy
-rw-r--r-- 1998-06-25 13:57 +0200 993 InSort.ML
-rw-r--r-- 1998-06-25 13:57 +0200 469 InSort.thy
-rw-r--r-- 1998-06-25 13:57 +0200 517 IntRing.ML
-rw-r--r-- 1998-06-25 13:57 +0200 579 IntRing.thy
-rw-r--r-- 1998-06-25 13:57 +0200 363 IntRingDefs.ML
-rw-r--r-- 1998-06-25 13:57 +0200 367 IntRingDefs.thy
-rw-r--r-- 1998-06-25 13:57 +0200 1607 Lagrange.ML
-rw-r--r-- 1998-06-25 13:57 +0200 484 Lagrange.thy
-rw-r--r-- 1998-06-25 13:57 +0200 23978 MT.ML
-rw-r--r-- 1998-06-25 13:57 +0200 7810 MT.thy
-rw-r--r-- 1998-06-25 13:57 +0200 1031 NatSum.ML
-rw-r--r-- 1998-06-25 13:57 +0200 322 NatSum.thy
-rw-r--r-- 1998-06-25 13:57 +0200 5805 Primes.ML
-rw-r--r-- 1998-06-25 13:57 +0200 1087 Primes.thy
-rw-r--r-- 1998-06-25 13:57 +0200 8264 Primrec.ML
-rw-r--r-- 1998-06-25 13:57 +0200 2038 Primrec.thy
-rw-r--r-- 1998-06-25 13:57 +0200 1819 Puzzle.ML
-rw-r--r-- 1998-06-25 13:57 +0200 245 Puzzle.thy
-rw-r--r-- 1998-06-25 13:57 +0200 1511 Qsort.ML
-rw-r--r-- 1998-06-25 13:57 +0200 574 Qsort.thy
-rw-r--r-- 1998-06-25 13:57 +0200 1171 README.html
-rw-r--r-- 1998-06-25 13:57 +0200 879 ROOT.ML
-rw-r--r-- 1998-06-25 13:57 +0200 1226 Recdef.ML
-rw-r--r-- 1998-06-25 13:57 +0200 3567 Recdef.thy
-rw-r--r-- 1998-06-25 13:57 +0200 3596 Ring.ML
-rw-r--r-- 1998-06-25 13:57 +0200 446 Ring.thy
-rw-r--r-- 1998-06-25 13:57 +0200 925 Sorting.ML
-rw-r--r-- 1998-06-25 13:57 +0200 853 Sorting.thy
-rw-r--r-- 1998-06-25 13:57 +0200 337 String.ML
-rw-r--r-- 1998-06-25 13:57 +0200 2248 String.thy
-rw-r--r-- 1998-06-25 13:57 +0200 12825 cla.ML
-rw-r--r-- 1998-06-25 13:57 +0200 15411 meson.ML
-rw-r--r-- 1998-06-25 13:57 +0200 18776 mesontest.ML
-rw-r--r-- 1998-06-25 13:57 +0200 266115 mesontest2.ML
-rw-r--r-- 1998-06-25 13:57 +0200 4468 set.ML
-rw-r--r-- 1998-06-25 13:57 +0200 2254 unsolved.ML