source: src/ERTL @ 1729

Name Size Rev Age Author Last Change
../
ERTL.ma 1.1 KB 1388   10 years sacerdot fetch_result implemented for ERTL. This required a different …
ERTLToLTL.ma 25.9 KB 1601   10 years sacerdot Files ported to new version of the standard library.
Interference.ma 1.2 KB 1429   10 years sacerdot Useless and removed.
liveness.ma 10.6 KB 1729   10 years sacerdot Comment left from SVN merge removed.
semantics.ma 5.5 KB 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
Note: See TracBrowser for help on using the repository browser.