thys3/src/BasicIdentities.thy
changeset 552 3ea82d8f0aa4
parent 496 f493a20feeb3
child 563 c92a41d9c4da