src/FOL/IFOL.thy
changeset 278 523518f44286
parent 79 74e68ed3b4fd
child 928 cb31a4e97f75
equal deleted inserted replaced
277:4abe17e92130 278:523518f44286
    13 
    13 
    14 default
    14 default
    15   term
    15   term
    16 
    16 
    17 types
    17 types
    18   o 0
    18   o
    19 
    19 
    20 arities
    20 arities
    21   o :: logic
    21   o :: logic
    22 
    22 
    23 
    23