/src/HOL/ex/
drwxr-xr-x [up]
-rw-r--r-- 1998-10-01 18:30 +0200 374 Antiquote.ML
-rw-r--r-- 1998-10-01 18:30 +0200 563 Antiquote.thy
-rw-r--r-- 1998-10-01 18:30 +0200 1463 BT.ML
-rw-r--r-- 1998-10-01 18:30 +0200 1194 BT.thy
-rw-r--r-- 1998-10-01 18:30 +0200 4293 BinEx.ML
-rw-r--r-- 1998-10-01 18:30 +0200 625 BinEx.thy
-rw-r--r-- 1998-10-01 18:30 +0200 3955 Fib.ML
-rw-r--r-- 1998-10-01 18:30 +0200 399 Fib.thy
-rw-r--r-- 1998-10-01 18:30 +0200 6553 Group.ML
-rw-r--r-- 1998-10-01 18:30 +0200 1075 Group.thy
-rw-r--r-- 1998-10-01 18:30 +0200 968 InSort.ML
-rw-r--r-- 1998-10-01 18:30 +0200 438 InSort.thy
-rw-r--r-- 1998-10-01 18:30 +0200 502 IntRing.ML
-rw-r--r-- 1998-10-01 18:30 +0200 585 IntRing.thy
-rw-r--r-- 1998-10-01 18:30 +0200 340 IntRingDefs.ML
-rw-r--r-- 1998-10-01 18:30 +0200 364 IntRingDefs.thy
-rw-r--r-- 1998-10-01 18:30 +0200 1607 Lagrange.ML
-rw-r--r-- 1998-10-01 18:30 +0200 484 Lagrange.thy
-rw-r--r-- 1998-10-01 18:30 +0200 6361 LocaleGroup.ML
-rw-r--r-- 1998-10-01 18:30 +0200 1128 LocaleGroup.thy
-rw-r--r-- 1998-10-01 18:30 +0200 23037 MT.ML
-rw-r--r-- 1998-10-01 18:30 +0200 7810 MT.thy
-rw-r--r-- 1998-10-01 18:30 +0200 900 MonoidGroup.thy
-rw-r--r-- 1998-10-01 18:30 +0200 1027 NatSum.ML
-rw-r--r-- 1998-10-01 18:30 +0200 312 NatSum.thy
-rw-r--r-- 1998-10-01 18:30 +0200 22032 PiSets.ML
-rw-r--r-- 1998-10-01 18:30 +0200 1802 PiSets.thy
-rw-r--r-- 1998-10-01 18:30 +0200 5714 Primes.ML
-rw-r--r-- 1998-10-01 18:30 +0200 1098 Primes.thy
-rw-r--r-- 1998-10-01 18:30 +0200 8176 Primrec.ML
-rw-r--r-- 1998-10-01 18:30 +0200 2012 Primrec.thy
-rw-r--r-- 1998-10-01 18:30 +0200 1726 Puzzle.ML
-rw-r--r-- 1998-10-01 18:30 +0200 245 Puzzle.thy
-rw-r--r-- 1998-10-01 18:30 +0200 1492 Qsort.ML
-rw-r--r-- 1998-10-01 18:30 +0200 574 Qsort.thy
-rw-r--r-- 1998-10-01 18:30 +0200 1171 README.html
-rw-r--r-- 1998-10-01 18:30 +0200 1133 ROOT.ML
-rw-r--r-- 1998-10-01 18:30 +0200 1218 Recdefs.ML
-rw-r--r-- 1998-10-01 18:30 +0200 3554 Recdefs.thy
-rw-r--r-- 1998-10-01 18:30 +0200 3596 Ring.ML
-rw-r--r-- 1998-10-01 18:30 +0200 446 Ring.thy
-rw-r--r-- 1998-10-01 18:30 +0200 900 Sorting.ML
-rw-r--r-- 1998-10-01 18:30 +0200 818 Sorting.thy
-rw-r--r-- 1998-10-01 18:30 +0200 336 StringEx.ML
-rw-r--r-- 1998-10-01 18:30 +0200 19 StringEx.thy
-rw-r--r-- 1998-10-01 18:30 +0200 12373 cla.ML
-rw-r--r-- 1998-10-01 18:30 +0200 15254 meson.ML
-rw-r--r-- 1998-10-01 18:30 +0200 18210 mesontest.ML
-rw-r--r-- 1998-10-01 18:30 +0200 266115 mesontest2.ML
-rw-r--r-- 1998-10-01 18:30 +0200 4333 set.ML
-rw-r--r-- 1998-10-01 18:30 +0200 2254 unsolved.ML