/src/HOL/UNITY/ Isabelle2025
drwxr-xr-x [up]
drwxr-xr-x Comp
drwxr-xr-x Simple
drwxr-xr-x document
-rw-r--r-- 2025-03-12 11:39 +0100 8180 Comp.thy
-rw-r--r-- 2025-03-12 11:39 +0100 14545 Constrains.thy
-rw-r--r-- 2025-03-12 11:39 +0100 2747 Detects.thy
-rw-r--r-- 2025-03-12 11:39 +0100 22654 ELT.thy
-rw-r--r-- 2025-03-12 11:39 +0100 23880 Extend.thy
-rw-r--r-- 2025-03-12 11:39 +0100 1846 FP.thy
-rw-r--r-- 2025-03-12 11:39 +0100 9569 Follows.thy
-rw-r--r-- 2025-03-12 11:39 +0100 17307 Guar.thy
-rw-r--r-- 2025-03-12 11:39 +0100 14336 Lift_prog.thy
-rw-r--r-- 2025-03-12 11:39 +0100 12606 ListOrder.thy
-rw-r--r-- 2025-03-12 11:39 +0100 10106 PPROD.thy
-rw-r--r-- 2025-03-12 11:39 +0100 23239 ProgressSets.thy
-rw-r--r-- 2025-03-12 11:39 +0100 25352 Project.thy
-rw-r--r-- 2025-03-12 11:39 +0100 1864 README.thy
-rw-r--r-- 2025-03-12 11:39 +0100 13296 Rename.thy
-rw-r--r-- 2025-03-12 11:39 +0100 14704 SubstAx.thy
-rw-r--r-- 2025-03-12 11:39 +0100 19589 Transformers.thy
-rw-r--r-- 2025-03-12 11:39 +0100 15905 UNITY.thy
-rw-r--r-- 2025-03-12 11:39 +0100 931 UNITY_Main.thy
-rw-r--r-- 2025-03-12 11:39 +0100 2685 UNITY_tactics.ML
-rw-r--r-- 2025-03-12 11:39 +0100 16998 Union.thy
-rw-r--r-- 2025-03-12 11:39 +0100 23327 WFair.thy