Quot/Examples/LamEx.thy
changeset 815 e5109811c4d4
parent 804 ba7e81531c6d
child 876 a6a4c88e1c9a
equal deleted inserted replaced
814:cd3fa86be45f 815:e5109811c4d4