source: src/ASM/PolicyStep.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2239   8 years sacerdot One more lemma polished.
(edit) @2238   8 years sacerdot Taken out lemma integrated.
(edit) @2237   8 years sacerdot Even shorter version.
(edit) @2236   8 years sacerdot One subproof made shorter.
(edit) @2225   8 years sacerdot Minor and major improvements everywhere, shortened proofs.
(edit) @2220   8 years sacerdot Some minor speed up and daemon-uncommenting.
(edit) @2215   8 years sacerdot Some speed up.
(edit) @2211   8 years boender - finished proof of sigma specification - added some stuff to Util, as …
(edit) @2152   8 years boender - this should compile
(edit) @2141   8 years boender - committed working version
(edit) @2102   8 years boender - some small changes
(edit) @2101   8 years boender - renamed medium to absolute jump - revised proofs of policy, some …
(edit) @2059   8 years boender - updated Policy to work better
(edit) @2038   8 years sacerdot split => vsplit
(add) @2034   8 years boender - split Policy into three separate files for ease (and indeed …
Note: See TracRevisionLog for help on using the revision log.