thys2/BasicIdentities.thy
changeset 485 72edbac05c59
parent 481 feacb89b784c
child 486 f5b96a532c85