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

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
class package refinements, slight code generation refinements
2006-06-27, by haftmann
added class projection
2006-06-27, by haftmann
slight improvement
2006-06-27, by haftmann
replaced subgraph by project
2006-06-27, by haftmann
fix/fixes: tuned type constraints;
2006-06-24, by wenzelm
minor tuning of definitions/proofs;
2006-06-24, by wenzelm
fixed translations for _MapUpd: CONST;
2006-06-24, by wenzelm
beautification
2006-06-23, by nipkow
added webmaster
2006-06-23, by haftmann
Introduction of Ramsey's theorem
2006-06-23, by paulson
Removed debugging code.
2006-06-22, by ballarin
Improved handling of defines imported in duplicate.
2006-06-22, by ballarin
new standard dir structure
2006-06-22, by kleing
world map updated
2006-06-21, by webertj

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

isabelle