src/FOLP/FOLP.thy
changeset 25456 6f79698f294d
parent 22577 1a08fce38565
child 26322 eaf634e975fa