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/cancel_div_mod.ML
2019-01-04
wenzelm
isabelle update -u control_cartouches;
file
|
diff
|
annotate
2017-10-08
haftmann
generalized simproc
file
|
diff
|
annotate
2015-03-04
wenzelm
tuned signature -- prefer qualified names;
file
|
diff
|
annotate
2013-04-18
wenzelm
simplifier uses proper Proof.context instead of historic type simpset;
file
|
diff
|
annotate
2011-06-29
wenzelm
modernized some simproc setup;
file
|
diff
|
annotate
2010-05-05
haftmann
farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
file
|
diff
|
annotate
2010-02-19
haftmann
moved remaning class operations from Algebras.thy to Groups.thy
file
|
diff
|
annotate
2010-01-28
haftmann
new theory Algebras.thy for generic algebraic structures
file
|
diff
|
annotate
2009-10-21
haftmann
curried inter as canonical list operation (beware of argument order)
file
|
diff
|
annotate
2009-10-21
haftmann
removed old-style \ and \\ infixes
file
|
diff
|
annotate
2009-10-21
haftmann
dropped redundant gen_ prefix
file
|
diff
|
annotate
2009-10-20
haftmann
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
file
|
diff
|
annotate
2009-04-16
haftmann
whitespace tuning
file
|
diff
|
annotate
2007-05-17
haftmann
canonical prefixing of class constants
file
|
diff
|
annotate
2006-07-08
wenzelm
simprocs: no theory argument -- use simpset context instead;
file
|
diff
|
annotate
2006-03-10
haftmann
renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
file
|
diff
|
annotate
2005-09-23
wenzelm
Simplifier.inherit_bounds;
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
2002-08-23
nipkow
for cancelling div + mod.
file
|
diff
|
annotate
less
more
(0)
tip