/src/HOL/ex/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2006-01-19 10:22 +0100 4128 Adder.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1024 Antiquote.thy
-rw-r--r-- 2006-01-19 10:22 +0100 2284 BT.thy
-rw-r--r-- 2006-01-19 10:22 +0100 7186 BinEx.thy
-rw-r--r-- 2006-01-19 10:22 +0100 11666 CTL.thy
-rw-r--r-- 2006-01-19 10:22 +0100 998 Chinese.thy
-rw-r--r-- 2006-01-19 10:22 +0100 26433 Classical.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1163 Commutative_RingEx.thy
-rw-r--r-- 2006-01-19 10:22 +0100 15603 Commutative_Ring_Complete.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1331 Hebrew.thy
-rw-r--r-- 2006-01-19 10:22 +0100 9607 Higher_Order_Logic.thy
-rw-r--r-- 2006-01-19 10:22 +0100 3576 Hilbert_Classical.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1266 InSort.thy
-rw-r--r-- 2006-01-19 10:22 +0100 3760 InductiveInvariant.thy
-rw-r--r-- 2006-01-19 10:22 +0100 4122 InductiveInvariant_examples.thy
-rw-r--r-- 2006-01-19 10:22 +0100 8128 Intuitionistic.thy
-rw-r--r-- 2006-01-19 10:22 +0100 2119 Lagrange.thy
-rw-r--r-- 2006-01-19 10:22 +0100 21106 Locales.thy
-rw-r--r-- 2006-01-19 10:22 +0100 23228 MT.ML
-rw-r--r-- 2006-01-19 10:22 +0100 7799 MT.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1595 MergeSort.thy
-rw-r--r-- 2006-01-19 10:22 +0100 913 MonoidGroup.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1940 Multiquote.thy
-rw-r--r-- 2006-01-19 10:22 +0100 2720 NatSum.thy
-rw-r--r-- 2006-01-19 10:22 +0100 7781 PER.thy
-rw-r--r-- 2006-01-19 10:22 +0100 2825 PresburgerEx.thy
-rw-r--r-- 2006-01-19 10:22 +0100 9709 Primrec.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1100 Puzzle.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1596 Qsort.thy
-rw-r--r-- 2006-01-19 10:22 +0100 3242 Quickcheck_Examples.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1795 README.html
-rw-r--r-- 2006-01-19 10:22 +0100 1526 ROOT.ML
-rw-r--r-- 2006-01-19 10:22 +0100 4140 Recdefs.thy
-rw-r--r-- 2006-01-19 10:22 +0100 5760 Records.thy
-rw-r--r-- 2006-01-19 10:22 +0100 212895 Reflected_Presburger.thy
-rw-r--r-- 2006-01-19 10:22 +0100 17710 Refute_Examples.thy
-rw-r--r-- 2006-01-19 10:22 +0100 12127 SAT_Examples.thy
-rw-r--r-- 2006-01-19 10:22 +0100 4589 SVC_Oracle.ML
-rw-r--r-- 2006-01-19 10:22 +0100 479 SVC_Oracle.thy
-rw-r--r-- 2006-01-19 10:22 +0100 1293 Sorting.thy
-rw-r--r-- 2006-01-19 10:22 +0100 526 StringEx.thy
-rw-r--r-- 2006-01-19 10:22 +0100 5675 Sudoku.thy
-rw-r--r-- 2006-01-19 10:22 +0100 28785 Tarski.thy
-rw-r--r-- 2006-01-19 10:22 +0100 207122 mesontest2.ML
-rw-r--r-- 2006-01-19 10:22 +0100 94 mesontest2.thy
-rw-r--r-- 2006-01-19 10:22 +0100 6837 set.thy
-rw-r--r-- 2006-01-19 10:22 +0100 10222 svc_funcs.ML
-rw-r--r-- 2006-01-19 10:22 +0100 8258 svc_test.ML
-rw-r--r-- 2006-01-19 10:22 +0100 199 svc_test.thy