src/FOLP/IFOLP.thy
changeset 1512 ce37c64244c0
parent 1477 4c51ab632cda
child 2714 b0fbdfbbad66