src/FOLP/IFOLP.thy
changeset 39557 fe5722fce758
parent 38800 34c84817e39c
child 41310 65631ca437c9
     1.1 --- a/src/FOLP/IFOLP.thy	Mon Sep 20 15:29:53 2010 +0200
     1.2 +++ b/src/FOLP/IFOLP.thy	Mon Sep 20 16:05:25 2010 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  uses ("hypsubst.ML") ("intprover.ML")
     1.5  begin
     1.6  
     1.7 -setup PureThy.old_appl_syntax_setup
     1.8 +setup Pure_Thy.old_appl_syntax_setup
     1.9  
    1.10  classes "term"
    1.11  default_sort "term"