source: src/LIN @ 2226

Name Size Rev Age Author Last Change
../
LINToASM.ma 14.8 KB 1995   9 years campbell Overall compiler definition; bits and pieces to make everything happy(ish).
joint_LTL_LIN.ma 416 bytes 1378   10 years sacerdot New file LIN/joint_LTL_LIN.ma to factorize out the syntactic …
joint_LTL_LIN_semantics.ma 3.5 KB 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
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_paolo.ma 1.3 KB 2217   9 years tranquil * collapsed step_params, unserialized_params, funct_params and …
joint_LTL_LIN_semantics_paolo.ma 3.0 KB 2217   9 years tranquil * collapsed step_params, unserialized_params, funct_params and …
LIN_paolo.ma 668 bytes 2214   9 years tranquil * changed order of parameters of joint_internal_function and genv in …
semantics_paolo.ma 200 bytes 2217   9 years tranquil * collapsed step_params, unserialized_params, funct_params and …
Note: See TracBrowser for help on using the repository browser.