/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1999-03-11 13:20 +0100 374 Antiquote.ML
-rw-r--r-- 1999-03-11 13:20 +0100 563 Antiquote.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1463 BT.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1194 BT.thy
-rw-r--r-- 1999-03-11 13:20 +0100 4266 BinEx.ML
-rw-r--r-- 1999-03-11 13:20 +0100 625 BinEx.thy
-rw-r--r-- 1999-03-11 13:20 +0100 3955 Fib.ML
-rw-r--r-- 1999-03-11 13:20 +0100 399 Fib.thy
-rw-r--r-- 1999-03-11 13:20 +0100 6553 Group.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1075 Group.thy
-rw-r--r-- 1999-03-11 13:20 +0100 968 InSort.ML
-rw-r--r-- 1999-03-11 13:20 +0100 438 InSort.thy
-rw-r--r-- 1999-03-11 13:20 +0100 502 IntRing.ML
-rw-r--r-- 1999-03-11 13:20 +0100 585 IntRing.thy
-rw-r--r-- 1999-03-11 13:20 +0100 340 IntRingDefs.ML
-rw-r--r-- 1999-03-11 13:20 +0100 364 IntRingDefs.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1607 Lagrange.ML
-rw-r--r-- 1999-03-11 13:20 +0100 484 Lagrange.thy
-rw-r--r-- 1999-03-11 13:20 +0100 4415 LocaleGroup.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1205 LocaleGroup.thy
-rw-r--r-- 1999-03-11 13:20 +0100 23037 MT.ML
-rw-r--r-- 1999-03-11 13:20 +0100 7810 MT.thy
-rw-r--r-- 1999-03-11 13:20 +0100 900 MonoidGroup.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1027 NatSum.ML
-rw-r--r-- 1999-03-11 13:20 +0100 312 NatSum.thy
-rw-r--r-- 1999-03-11 13:20 +0100 2942 PiSets.ML
-rw-r--r-- 1999-03-11 13:20 +0100 682 PiSets.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1071 Points.ML
-rw-r--r-- 1999-03-11 13:20 +0100 2963 Points.thy
-rw-r--r-- 1999-03-11 13:20 +0100 5696 Primes.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1098 Primes.thy
-rw-r--r-- 1999-03-11 13:20 +0100 8151 Primrec.ML
-rw-r--r-- 1999-03-11 13:20 +0100 2008 Primrec.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1724 Puzzle.ML
-rw-r--r-- 1999-03-11 13:20 +0100 245 Puzzle.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1492 Qsort.ML
-rw-r--r-- 1999-03-11 13:20 +0100 574 Qsort.thy
-rw-r--r-- 1999-03-11 13:20 +0100 1171 README.html
-rw-r--r-- 1999-03-11 13:20 +0100 1032 ROOT.ML
-rw-r--r-- 1999-03-11 13:20 +0100 1200 Recdefs.ML
-rw-r--r-- 1999-03-11 13:20 +0100 3554 Recdefs.thy
-rw-r--r-- 1999-03-11 13:20 +0100 3596 Ring.ML
-rw-r--r-- 1999-03-11 13:20 +0100 446 Ring.thy
-rw-r--r-- 1999-03-11 13:20 +0100 900 Sorting.ML
-rw-r--r-- 1999-03-11 13:20 +0100 818 Sorting.thy
-rw-r--r-- 1999-03-11 13:20 +0100 336 StringEx.ML
-rw-r--r-- 1999-03-11 13:20 +0100 19 StringEx.thy
-rw-r--r-- 1999-03-11 13:20 +0100 12373 cla.ML
-rw-r--r-- 1999-03-11 13:20 +0100 15254 meson.ML
-rw-r--r-- 1999-03-11 13:20 +0100 18210 mesontest.ML
-rw-r--r-- 1999-03-11 13:20 +0100 3683 set.ML