isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

fixed "latex capacity exceeded"
2002-11-01, by kleing
"Definite Assignment Analysis" included, with proof of correctness. Large adjustments of type safety proof and soundness proof of the axiomatic semantics were necessary. Completeness proof of the loop rule of the axiomatic semantic was altered. So the additional polymorphic variants of some rules could be removed.
2002-10-31, by schirmer
simpler separation/replacement proofs
2002-10-30, by paulson
modified msg
2002-10-30, by nipkow
added induction thms
2002-10-29, by nipkow
moved fac example
2002-10-28, by nipkow
*** empty log message ***
2002-10-28, by nipkow
conversion ML -> thy
2002-10-28, by nipkow
simplified lemma correct_frames_newref
2002-10-27, by kleing
switched to atbroy51, removed markus from email list
2002-10-26, by isatest
fixed latex output
2002-10-25, by kleing
changes for cleanup in JVM
2002-10-24, by kleing
cleanup, beautified
2002-10-24, by kleing
fixed latex error
2002-10-24, by kleing
ASIN -> SET
2002-10-24, by nipkow
*** empty log message ***
2002-10-23, by streckem
First checkin of compiler
2002-10-23, by streckem
Added compiler
2002-10-23, by streckem
Eta contraction is now switched off when printing extracted program.
2002-10-21, by berghofe
Fixed problem with theorems containing TFrees.
2002-10-21, by berghofe
- reconstruct_proof no longer relies on TypeInfer.infer_types
2002-10-21, by berghofe
Removed Logic.skip_flexpairs.
2002-10-21, by berghofe
Replaced variantlist (quadratic) by gen_names (linear).
2002-10-21, by berghofe
Removed add_env because Vartab.map was too slow for large environments.
2002-10-21, by berghofe

less more | (0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle