src/Doc/Prog_Prove/Isar.thy
changeset 66787 64b47495676d
parent 65437 b8fc7e2e1b35
child 67039 690b4b334889