source: src/common/extraGlobalenvs.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2783   8 years piccolo modified joint_closed_internal_function definition (added condition on …
(edit) @2608   8 years garnier Regions are no more stored in blocks. block_region now tests the id, …
(edit) @2590   8 years piccolo added monad machineary for ERTL to ERTLptr translation eval_seq_no_pc …
(edit) @2570   8 years piccolo ERTLtoERTLptr in place
(edit) @2478   8 years tranquil unified is_internal_function_of_program and is_internal_function
(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.