src/FOLP/FOLP.thy
changeset 60025 d84b355f341f
parent 59498 50b60f501b05
child 60754 02924903a6fd
equal deleted inserted replaced
60024:fe31c7e7ebf4 60025:d84b355f341f