thys3/src/BasicIdentities.thy
changeset 641 cf7a5c863831
parent 563 c92a41d9c4da