Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Provers/Arith/extract_common_term.ML
2013-04-18
wenzelm
simplifier uses proper Proof.context instead of historic type simpset;
file
|
diff
|
annotate
2011-10-29
huffman
remove unused function
file
|
diff
|
annotate
2011-10-27
huffman
fix bug in cancel_factor simprocs so they will work on goals like 'x * y < x * z' where the common term is already on the left
file
|
diff
|
annotate
2011-06-29
wenzelm
tuned signature;
file
|
diff
|
annotate
2010-03-13
wenzelm
removed old CVS Ids;
file
|
diff
|
annotate
2009-03-22
nipkow
1. New cancellation simprocs for common factors in inequations
file
|
diff
|
annotate
2006-07-12
wenzelm
prove_conv: Variable.import_terms instead of Term.addhoc_freeze_vars;
file
|
diff
|
annotate
2006-07-08
wenzelm
simprocs: no theory argument -- use simpset context instead;
file
|
diff
|
annotate
2005-09-15
wenzelm
TableFun/Symtab: curried lookup and update;
file
|
diff
|
annotate
2005-09-01
wenzelm
curried_lookup/update;
file
|
diff
|
annotate
2005-08-01
wenzelm
simprocs: Simplifier.inherit_bounds;
file
|
diff
|
annotate
2005-03-03
skalberg
Move towards standard functions.
file
|
diff
|
annotate
2005-02-13
skalberg
Deleted Library.option type.
file
|
diff
|
annotate
2004-07-08
wenzelm
adapted type of simprocs;
file
|
diff
|
annotate
2004-02-15
paulson
Polymorphic treatment of binary arithmetic using axclasses
file
|
diff
|
annotate
2002-08-08
wenzelm
adhoc_freeze_vars;
file
|
diff
|
annotate
2000-12-18
paulson
new simproc for cancelling common factors, etc.
file
|
diff
|
annotate
less
more
(0)
tip