thys2/PDerivs.thy
changeset 423 b7199d6c672d
parent 405 3cfea5bb5e23
child 436 222333d2bdc2
equal deleted inserted replaced
422:fb23e3fd12e5 423:b7199d6c672d