--- a/src/Sequents/LK0.thy Wed Apr 28 11:41:27 2010 +0200 +++ b/src/Sequents/LK0.thy Wed Apr 28 12:07:52 2010 +0200 @@ -15,7 +15,7 @@ global classes "term" -defaultsort "term" +default_sort "term" consts