source: src/ERTL @ 1730

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.3 KB 1730   10 years sacerdot Minor changes while studying the proof.
liveness.ma 10.6 KB 1730   10 years sacerdot Minor changes while studying the proof.
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.