src/FOLP/IFOLP.thy
changeset 71751 abf3e80bd815
parent 70880 de2e2382bc0d
child 74301 ffe269e74bdd