/src/HOL/UNITY/
drwxr-xr-x [up]
drwxr-xr-x Comp
drwxr-xr-x Simple
drwxr-xr-x document
-rw-r--r-- 2017-11-07 15:16 +0100 8154 Comp.thy
-rw-r--r-- 2017-11-07 15:16 +0100 14475 Constrains.thy
-rw-r--r-- 2017-11-07 15:16 +0100 2721 Detects.thy
-rw-r--r-- 2017-11-07 15:16 +0100 21568 ELT.thy
-rw-r--r-- 2017-11-07 15:16 +0100 23815 Extend.thy
-rw-r--r-- 2017-11-07 15:16 +0100 1693 FP.thy
-rw-r--r-- 2017-11-07 15:16 +0100 9556 Follows.thy
-rw-r--r-- 2017-11-07 15:16 +0100 17094 Guar.thy
-rw-r--r-- 2017-11-07 15:16 +0100 14309 Lift_prog.thy
-rw-r--r-- 2017-11-07 15:16 +0100 12208 ListOrder.thy
-rw-r--r-- 2017-11-07 15:16 +0100 10007 PPROD.thy
-rw-r--r-- 2017-11-07 15:16 +0100 23038 ProgressSets.thy
-rw-r--r-- 2017-11-07 15:16 +0100 25352 Project.thy
-rw-r--r-- 2017-11-07 15:16 +0100 2086 README.html
-rw-r--r-- 2017-11-07 15:16 +0100 13296 Rename.thy
-rw-r--r-- 2017-11-07 15:16 +0100 14651 SubstAx.thy
-rw-r--r-- 2017-11-07 15:16 +0100 19450 Transformers.thy
-rw-r--r-- 2017-11-07 15:16 +0100 15828 UNITY.thy
-rw-r--r-- 2017-11-07 15:16 +0100 917 UNITY_Main.thy
-rw-r--r-- 2017-11-07 15:16 +0100 2685 UNITY_tactics.ML
-rw-r--r-- 2017-11-07 15:16 +0100 16700 Union.thy
-rw-r--r-- 2017-11-07 15:16 +0100 23194 WFair.thy