src/FOL/ifol.thy
changeset 2003 b48f066d52dc
parent 278 523518f44286
equal deleted inserted replaced
2002:ed423882c6a9 2003:b48f066d52dc