/src/HOL/UNITY/
drwxr-xr-x [up]
drwxr-xr-x Comp
drwxr-xr-x Simple
drwxr-xr-x document
-rw-r--r-- 2004-08-18 11:09 +0200 8238 Comp.thy
-rw-r--r-- 2004-08-18 11:09 +0200 14368 Constrains.thy
-rw-r--r-- 2004-08-18 11:09 +0200 2667 Detects.thy
-rw-r--r-- 2004-08-18 11:09 +0200 21967 ELT.thy
-rw-r--r-- 2004-08-18 11:09 +0200 24633 Extend.thy
-rw-r--r-- 2004-08-18 11:09 +0200 1666 FP.thy
-rw-r--r-- 2004-08-18 11:09 +0200 9408 Follows.thy
-rw-r--r-- 2004-08-18 11:09 +0200 16870 Guar.thy
-rw-r--r-- 2004-08-18 11:09 +0200 14137 Lift_prog.thy
-rw-r--r-- 2004-08-18 11:09 +0200 12148 ListOrder.thy
-rw-r--r-- 2004-08-18 11:09 +0200 9879 PPROD.thy
-rw-r--r-- 2004-08-18 11:09 +0200 22177 ProgressSets.thy
-rw-r--r-- 2004-08-18 11:09 +0200 26364 Project.thy
-rw-r--r-- 2004-08-18 11:09 +0200 1946 README.html
-rw-r--r-- 2004-08-18 11:09 +0200 1078 ROOT.ML
-rw-r--r-- 2004-08-18 11:09 +0200 13228 Rename.thy
-rw-r--r-- 2004-08-18 11:09 +0200 14657 SubstAx.thy
-rw-r--r-- 2004-08-18 11:09 +0200 19013 Transformers.thy
-rw-r--r-- 2004-08-18 11:09 +0200 15090 UNITY.thy
-rw-r--r-- 2004-08-18 11:09 +0200 743 UNITY_Main.thy
-rw-r--r-- 2004-08-18 11:09 +0200 34637 UNITY_tactics.ML
-rw-r--r-- 2004-08-18 11:09 +0200 15606 Union.thy
-rw-r--r-- 2004-08-18 11:09 +0200 22917 WFair.thy