source: src/common/extraGlobalenvs.ma

Revision Log Mode:


Legend:

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