LFex.thy
changeset 460 3f8c7183ddac
parent 455 9cb45d022524
child 456 d925d9fa43dd
equal deleted inserted replaced
455:9cb45d022524 460:3f8c7183ddac