LFex.thy
changeset 532 53984a386999
parent 531 3feed4dbfa45
child 534 051bd9e90e92
equal deleted inserted replaced
531:3feed4dbfa45 532:53984a386999