/src/HOL/UNITY/
drwxr-xr-x [up]
drwxr-xr-x Comp
drwxr-xr-x Simple
-rw-r--r-- 2001-11-09 00:09 +0100 7899 Comp.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1324 Comp.thy
-rw-r--r-- 2001-11-09 00:09 +0100 13265 Constrains.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1584 Constrains.thy
-rw-r--r-- 2001-11-09 00:09 +0100 2244 Detects.ML
-rw-r--r-- 2001-11-09 00:09 +0100 564 Detects.thy
-rw-r--r-- 2001-11-09 00:09 +0100 24322 ELT.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1658 ELT.thy
-rw-r--r-- 2001-11-09 00:09 +0100 24929 Extend.ML
-rw-r--r-- 2001-11-09 00:09 +0100 2007 Extend.thy
-rw-r--r-- 2001-11-09 00:09 +0100 1709 FP.ML
-rw-r--r-- 2001-11-09 00:09 +0100 448 FP.thy
-rw-r--r-- 2001-11-09 00:09 +0100 9330 Follows.ML
-rw-r--r-- 2001-11-09 00:09 +0100 559 Follows.thy
-rw-r--r-- 2001-11-09 00:09 +0100 12357 GenPrefix.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1370 GenPrefix.thy
-rw-r--r-- 2001-11-09 00:09 +0100 15800 Guar.ML
-rw-r--r-- 2001-11-09 00:09 +0100 2405 Guar.thy
-rw-r--r-- 2001-11-09 00:09 +0100 16088 Lift_prog.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1144 Lift_prog.thy
-rw-r--r-- 2001-11-09 00:09 +0100 357 ListOrder.thy
-rw-r--r-- 2001-11-09 00:09 +0100 10186 PPROD.ML
-rw-r--r-- 2001-11-09 00:09 +0100 594 PPROD.thy
-rw-r--r-- 2001-11-09 00:09 +0100 27184 Project.ML
-rw-r--r-- 2001-11-09 00:09 +0100 871 Project.thy
-rw-r--r-- 2001-11-09 00:09 +0100 1946 README.html
-rw-r--r-- 2001-11-09 00:09 +0100 1063 ROOT.ML
-rw-r--r-- 2001-11-09 00:09 +0100 13271 Rename.ML
-rw-r--r-- 2001-11-09 00:09 +0100 342 Rename.thy
-rw-r--r-- 2001-11-09 00:09 +0100 15313 SubstAx.ML
-rw-r--r-- 2001-11-09 00:09 +0100 672 SubstAx.thy
-rw-r--r-- 2001-11-09 00:09 +0100 11073 UNITY.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1811 UNITY.thy
-rw-r--r-- 2001-11-09 00:09 +0100 14592 Union.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1875 Union.thy
-rw-r--r-- 2001-11-09 00:09 +0100 18963 WFair.ML
-rw-r--r-- 2001-11-09 00:09 +0100 1422 WFair.thy