src/Sequents/ILL/ILL_predlog.thy
changeset 14854 61bdf2ae4dc5
parent 6252 935f183bf406
child 17481 75166ebb619b
     1.1 --- a/src/Sequents/ILL/ILL_predlog.thy	Tue Jun 01 11:25:26 2004 +0200
     1.2 +++ b/src/Sequents/ILL/ILL_predlog.thy	Tue Jun 01 12:33:50 2004 +0200
     1.3 @@ -7,13 +7,8 @@
     1.4  ILL_predlog  =  ILL +
     1.5  
     1.6  types
     1.7 -
     1.8      plf
     1.9      
    1.10 -arities
    1.11 -
    1.12 -    plf :: logic
    1.13 -    
    1.14  consts
    1.15  
    1.16    "&"   :: "[plf,plf] => plf"   (infixr 35)