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 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

Streamlining: removing the type argument of CombApp; abbreviating ResClause as RC
2007-01-17, by paulson
fixed typo introduced by me
2007-01-16, by urbanc
changed dictionary representation to explicit classrel witnesses
2007-01-16, by haftmann
reverted order of classrels
2007-01-16, by haftmann
cleanup
2007-01-16, by haftmann
formalisation of Crary's chapter on logical relations
2007-01-16, by urbanc
added capabilities to handle mutual inductions
2007-01-16, by urbanc
refined and added example for ExecutableRat
2007-01-16, by haftmann
introduced binding concept
2007-01-16, by haftmann
slight cleanup
2007-01-16, by haftmann
renamed locale partial_order to order
2007-01-16, by haftmann
refined and added example for ExecutableRat
2007-01-16, by haftmann
updated keywords
2007-01-16, by haftmann
added sections on mutual induction and patterns
2007-01-15, by krauss
optimized translation of HO problems
2007-01-14, by paulson
Reverted to structure representation with records.
2007-01-12, by ballarin
more term inspection
2007-01-12, by haftmann
introduced binding concept
2007-01-12, by haftmann
adjusted manual
2007-01-12, by haftmann
well-founded relations for the integers
2007-01-11, by paulson
updated to mention the automatic unfolding of constants
2007-01-11, by webertj
removed NameSpace.split -- use qualifier/base instead;
2007-01-10, by wenzelm
fixed exit: proper type check of state;
2007-01-10, by wenzelm
tuned
2007-01-10, by webertj
minor comment change
2007-01-10, by webertj
no unfolding necessary anymore (refute does that automatically now)
2007-01-10, by webertj
improved case patterns
2007-01-10, by haftmann
added undefined in cases
2007-01-10, by haftmann
named preprocessorts
2007-01-09, by haftmann
cleanup
2007-01-09, by haftmann
activated new class code
2007-01-09, by haftmann
handling for "undefined" in case expressions
2007-01-09, by haftmann
named preprocessors
2007-01-09, by haftmann
The "of 1, simplified" stopped working some time ago, leaving these simprules
2007-01-09, by paulson
More compact proof reconstruction: lines having fewer than !min_deps dependences are folded
2007-01-09, by paulson
simplified the resoution proofs
2007-01-09, by paulson
Cleanup message model: add info fatality level. Add informfileoutdated and some use of completed flag.
2007-01-09, by aspinall
Add info fatality for error messages.
2007-01-09, by aspinall
Add informfileoutdated and completed flag. This makes the PGIP messages match the Broker states.
2007-01-09, by aspinall
slight cleanups
2007-01-09, by haftmann
improved names
2007-01-09, by haftmann
proper node names
2007-01-09, by haftmann
slight cleanup
2007-01-09, by haftmann
improved variable name handling
2007-01-09, by haftmann
moved variable environments here
2007-01-09, by haftmann
moved a lot to codegen_func.ML
2007-01-09, by haftmann
typo
2007-01-09, by haftmann
added map_abs_vars
2007-01-09, by haftmann
tuned signature;
2007-01-08, by wenzelm
print functions for typs and terms added
2007-01-07, by webertj
Be more chatty in PGIP file operations.
2007-01-07, by aspinall
A few lemmas about relative primes when dividing trough gcd
2007-01-06, by chaieb
A few theorems on integer divisibily.
2007-01-06, by chaieb
Introduction of a bound on DEPTH_ITER, to prevent the meson method from running forever
2007-01-05, by paulson
reverted to v1.60 (PolyML 4.1.3 still has the wrong signature for Array.modifyi)
2007-01-05, by webertj
added codegen_func.ML
2007-01-05, by haftmann
non-layout-sensitive syntax for Haskell
2007-01-05, by haftmann
some cleanup
2007-01-05, by haftmann
primitive definitions are always eta-expanded
2007-01-05, by haftmann
added block_enclose
2007-01-05, by haftmann

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

isabelle