Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / input @ 7c4d2eb4

History | View | Annotate | Download (36 Bytes)

1
Logic:GML
2
<3>p0 & <3>~p0 & ~<5>true