/
drwxr-xr-x [up]
-rw-r--r-- 2009-12-06 11:39 +0100 1305 FIXME-TODO
-rw-r--r-- 2009-12-06 11:39 +0100 12083 FSet.thy
-rw-r--r-- 2009-12-06 11:39 +0100 6835 IntEx.thy
-rw-r--r-- 2009-12-06 11:39 +0100 12886 IntEx2.thy
-rw-r--r-- 2009-12-06 11:39 +0100 11053 LFex.thy
-rw-r--r-- 2009-12-06 11:39 +0100 8406 LamEx.thy
-rw-r--r-- 2009-12-06 11:39 +0100 603 Prove.thy
-rw-r--r-- 2009-12-06 11:39 +0100 4685 QuotList.thy
-rw-r--r-- 2009-12-06 11:39 +0100 39388 QuotMain.thy
-rw-r--r-- 2009-12-06 11:39 +0100 15712 QuotScript.thy
-rw-r--r-- 2009-12-06 11:39 +0100 5486 QuotTest.thy
-rw-r--r-- 2009-12-06 11:39 +0100 1638 Quotients.thy
-rw-r--r-- 2009-12-06 11:39 +0100 2333 Unused.thy
-rw-r--r-- 2009-12-06 11:39 +0100 20486 UnusedQuotMain.thy
-rw-r--r-- 2009-12-06 11:39 +0100 9865 isar-keywords-prove.el
-rw-r--r-- 2009-12-06 11:39 +0100 8360 quotient.ML
-rw-r--r-- 2009-12-06 11:39 +0100 4415 quotient_def.ML
-rw-r--r-- 2009-12-06 11:39 +0100 6386 quotient_info.ML