src/FOLP/FOLP.thy
changeset 15106 e8cef6993701
parent 3836 f1a1817659e6
child 17480 fd19f77dcf60
equal deleted inserted replaced
15105:e194d4d265fb 15106:e8cef6993701