Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (36 Bytes)

1 e034e268 Thorsten WiƟmann
Logic:GML
2
<3>p0 & <3>~p0 & ~<5>true