prio/Attic/Lsp.thy
changeset 287 440382eb6427
parent 282 a3b4eed091d2
equal deleted inserted replaced
286:572f202659ff 287:440382eb6427