removed obsolete 'finalconsts';
authorwenzelm
Sat May 20 23:36:49 2006 +0200 (2006-05-20)
changeset 196833620e494cef2
parent 19682 c8c301eb965a
child 19684 6101fbebda1d
removed obsolete 'finalconsts';
src/FOL/IFOL.thy
     1.1 --- a/src/FOL/IFOL.thy	Wed May 17 22:36:08 2006 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Sat May 20 23:36:49 2006 +0200
     1.3 @@ -16,7 +16,6 @@
     1.4  global
     1.5  
     1.6  classes "term"
     1.7 -finalconsts term_class
     1.8  defaultsort "term"
     1.9  
    1.10  typedecl o