| changeset 13851 | f6923453953a |
| parent 13798 | 4c1a53627500 |
| child 13853 | 89131afa9f01 |
--- a/src/HOL/UNITY/UNITY_Main.thy Thu Mar 06 15:03:16 2003 +0100 +++ b/src/HOL/UNITY/UNITY_Main.thy Thu Mar 06 15:08:38 2003 +0100 @@ -6,7 +6,7 @@ header{*Comprehensive UNITY Theory*} -theory UNITY_Main = Detects + PPROD + Follows +theory UNITY_Main = Detects + PPROD + Follows + Transformers files "UNITY_tactics.ML": method_setup constrains = {*