LMCS-Paper/Paper.thy
changeset 2997 132575f5bd26
parent 2991 8146b0ad8212
child 3000 3c8d3aaf292c