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

Minor new lemmas.
2006-07-04, by ballarin
replaced respects2 by congruent2 because of type problem
2006-07-03, by nipkow
replaced translation by abbreviation
2006-07-03, by nipkow
obtain_export: Thm.generalize;
2006-07-03, by wenzelm
project_algebra: norm_sort;
2006-07-03, by wenzelm
comments fixed, minor optimization wrt. certifying terms
2006-07-03, by webertj
fix to subst in order to allow subst when head of a term is a bound variable.
2006-07-03, by dixon
CNF tactic invocations moved into comments
2006-07-03, by webertj
comment added
2006-07-03, by webertj
added more infrastructure for the recursion combinator
2006-07-02, by urbanc
normal_form to lemma test
2006-06-30, by nipkow
normalization uses refl now
2006-06-30, by nipkow
Removed some incorrect axioms.
2006-06-30, by mengj
fixed stale theory bug
2006-06-30, by haftmann
slight refinements
2006-06-30, by haftmann
refinement in instance command
2006-06-30, by haftmann
small change in class_package
2006-06-30, by haftmann
added the "th" field to datatype Clause
2006-06-29, by paulson
fixed the "factor" method
2006-06-29, by paulson
new function norm_term
2006-06-29, by nipkow
new method "normalization"
2006-06-29, by nipkow
use -f in cp to overwrite read-only files (e.g. .svn in document/)
2006-06-29, by kleing
world map now transparent
2006-06-28, by webertj
improvements in Classpackage
2006-06-28, by haftmann
reduced code, better instance command
2006-06-28, by haftmann
slight improvements in code generation
2006-06-28, by haftmann
added lookup function for parameters
2006-06-28, by haftmann
disjunctive wellfoundedness
2006-06-28, by paulson

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

isabelle