src/FOL/IFOL.thy
changeset 55380 4de48353034e
parent 52241 5f6e885382e9
child 57948 75724d71013c
     1.1 --- a/src/FOL/IFOL.thy	Mon Feb 10 14:33:47 2014 +0100
     1.2 +++ b/src/FOL/IFOL.thy	Mon Feb 10 17:20:11 2014 +0100
     1.3 @@ -24,7 +24,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 o