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

correctled left/right following of another context in zipto.
2007-01-17, by dixon
induction rules for trancl/rtrancl expressed using subsets
2007-01-17, by paulson
Deleted mk_fol_type, since the constructors can be used directly
2007-01-17, by paulson
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

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

isabelle