source: src/common/extraGlobalenvs.ma

Revision Log Mode:


Legend:

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