/src/HOL/UNITY/
drwxr-xr-x [up]
drwxr-xr-x Comp
drwxr-xr-x Simple
drwxr-xr-x document
-rw-r--r-- 2005-03-07 19:30 +0100 8238 Comp.thy
-rw-r--r-- 2005-03-07 19:30 +0100 14368 Constrains.thy
-rw-r--r-- 2005-03-07 19:30 +0100 2667 Detects.thy
-rw-r--r-- 2005-03-07 19:30 +0100 21967 ELT.thy
-rw-r--r-- 2005-03-07 19:30 +0100 24633 Extend.thy
-rw-r--r-- 2005-03-07 19:30 +0100 1665 FP.thy
-rw-r--r-- 2005-03-07 19:30 +0100 9408 Follows.thy
-rw-r--r-- 2005-03-07 19:30 +0100 16870 Guar.thy
-rw-r--r-- 2005-03-07 19:30 +0100 14137 Lift_prog.thy
-rw-r--r-- 2005-03-07 19:30 +0100 12140 ListOrder.thy
-rw-r--r-- 2005-03-07 19:30 +0100 9879 PPROD.thy
-rw-r--r-- 2005-03-07 19:30 +0100 22177 ProgressSets.thy
-rw-r--r-- 2005-03-07 19:30 +0100 26364 Project.thy
-rw-r--r-- 2005-03-07 19:30 +0100 2134 README.html
-rw-r--r-- 2005-03-07 19:30 +0100 1078 ROOT.ML
-rw-r--r-- 2005-03-07 19:30 +0100 13235 Rename.thy
-rw-r--r-- 2005-03-07 19:30 +0100 14657 SubstAx.thy
-rw-r--r-- 2005-03-07 19:30 +0100 19005 Transformers.thy
-rw-r--r-- 2005-03-07 19:30 +0100 15090 UNITY.thy
-rw-r--r-- 2005-03-07 19:30 +0100 743 UNITY_Main.thy
-rw-r--r-- 2005-03-07 19:30 +0100 34637 UNITY_tactics.ML
-rw-r--r-- 2005-03-07 19:30 +0100 15606 Union.thy
-rw-r--r-- 2005-03-07 19:30 +0100 22917 WFair.thy