source: src/ERTL @ 1172

Name Size Rev Age Author Last Change
../
spill.ma 240 bytes 1128   10 years mulligan fixed ERTLtoLTLI so it type checks again
uses.ma 535 bytes 1127   10 years mulligan interference graphs axiomatised, more added to ertl
build.ma 1.3 KB 1144   10 years mulligan added build.ma file. matita bug found
ERTL.ma 2.0 KB 1171   10 years mulligan changes made on claudio's request: changed order of nesting in the …
liveness.ma 11.3 KB 1144   10 years mulligan added build.ma file. matita bug found
semantics.ma 16.1 KB 1163   10 years mulligan even more streamlining and fixes to get things type checking
ERTLToLTL.ma 23.8 KB 1172   10 years mulligan ertltoltl.ma half complete
Note: See TracBrowser for help on using the repository browser.