--- a/src/FOLP/IFOLP.thy Mon Feb 10 14:33:47 2014 +0100 +++ b/src/FOLP/IFOLP.thy Mon Feb 10 17:20:11 2014 +0100 @@ -13,7 +13,7 @@ setup Pure_Thy.old_appl_syntax_setup -classes "term" +class "term" default_sort "term" typedecl p