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