src/FOLP/IFOLP.thy
changeset 55380 4de48353034e
parent 52230 1105b3b5aa77
child 56199 8e8d28ed7529
     1.1 --- a/src/FOLP/IFOLP.thy	Mon Feb 10 14:33:47 2014 +0100
     1.2 +++ b/src/FOLP/IFOLP.thy	Mon Feb 10 17:20:11 2014 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  
     1.5  setup Pure_Thy.old_appl_syntax_setup
     1.6  
     1.7 -classes "term"
     1.8 +class "term"
     1.9  default_sort "term"
    1.10  
    1.11  typedecl p