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

type annotations fixed (IntInf.int, to make SML/NJ happy)
2006-08-02, by webertj
lin_arith_prover splits certain operators (e.g. min, max, abs)
2006-08-02, by webertj
proof reconstruction now uses its own data structure to manage hyps; should be both faster and more robust
2006-08-02, by webertj
comment (timing information for last example) added
2006-08-01, by webertj
possible disagreement between proof search and proof reconstruction when eliminating inequalities over different types fixed
2006-08-01, by webertj
removed skip
2006-08-01, by obua
Added in code to check too general axiom clauses.
2006-08-01, by mengj
exported attrib;
2006-08-01, by wenzelm
lin_arith_prover splits certain operators (e.g. min, max, abs)
2006-07-31, by webertj
fixed a bug in function poly: decomposition of products
2006-07-31, by webertj
Function package can now do automatic splits of overlapping datatype patterns
2006-07-31, by krauss
Removed an "apply arith" where there are already "No Subgoals"
2006-07-31, by krauss
code reformatted
2006-07-31, by webertj
Additional freshness constraints for FCB.
2006-07-31, by berghofe

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

isabelle