source: src/LIN @ 1976

Name Size Rev Age Author Last Change
../
joint_LTL_LIN.ma 416 bytes 1378   10 years sacerdot New file LIN/joint_LTL_LIN.ma to factorize out the syntactic …
LIN.ma 734 bytes 1601   10 years sacerdot Files ported to new version of the standard library.
semantics.ma 1.9 KB 1601   10 years sacerdot Files ported to new version of the standard library.
joint_LTL_LIN_semantics.ma 3.5 KB 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
LINToASM.ma 14.8 KB 1522   10 years mulligan changes to preamble and lin to asm pass, resolved conflict in interpret
Note: See TracBrowser for help on using the repository browser.