/src/HOL/UNITY/
drwxr-xr-x [up]
drwxr-xr-x Comp
drwxr-xr-x Simple
drwxr-xr-x document
-rw-r--r-- 2010-02-11 23:00 +0100 8084 Comp.thy
-rw-r--r-- 2010-02-11 23:00 +0100 14411 Constrains.thy
-rw-r--r-- 2010-02-11 23:00 +0100 2676 Detects.thy
-rw-r--r-- 2010-02-11 23:00 +0100 21969 ELT.thy
-rw-r--r-- 2010-02-11 23:00 +0100 24616 Extend.thy
-rw-r--r-- 2010-02-11 23:00 +0100 1676 FP.thy
-rw-r--r-- 2010-02-11 23:00 +0100 9431 Follows.thy
-rw-r--r-- 2010-02-11 23:00 +0100 16799 Guar.thy
-rw-r--r-- 2010-02-11 23:00 +0100 14148 Lift_prog.thy
-rw-r--r-- 2010-02-11 23:00 +0100 12171 ListOrder.thy
-rw-r--r-- 2010-02-11 23:00 +0100 9865 PPROD.thy
-rw-r--r-- 2010-02-11 23:00 +0100 22438 ProgressSets.thy
-rw-r--r-- 2010-02-11 23:00 +0100 25893 Project.thy
-rw-r--r-- 2010-02-11 23:00 +0100 2134 README.html
-rw-r--r-- 2010-02-11 23:00 +0100 304 ROOT.ML
-rw-r--r-- 2010-02-11 23:00 +0100 13247 Rename.thy
-rw-r--r-- 2010-02-11 23:00 +0100 14652 SubstAx.thy
-rw-r--r-- 2010-02-11 23:00 +0100 18924 Transformers.thy
-rw-r--r-- 2010-02-11 23:00 +0100 15294 UNITY.thy
-rw-r--r-- 2010-02-11 23:00 +0100 748 UNITY_Examples.thy
-rw-r--r-- 2010-02-11 23:00 +0100 667 UNITY_Main.thy
-rw-r--r-- 2010-02-11 23:00 +0100 2954 UNITY_tactics.ML
-rw-r--r-- 2010-02-11 23:00 +0100 15634 Union.thy
-rw-r--r-- 2010-02-11 23:00 +0100 22905 WFair.thy