source: src/common/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2476   8 years piccolo fixed commutation lemmas in lineariseProof started proof of main …
(edit) @2474   8 years tranquil changed form of a statement
(add) @2473   8 years tranquil put some generic stuff we need in the back end in extraGlobalenvs …
Note: See TracRevisionLog for help on using the revision log.