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/ZF/pair.thy
2011-11-24
wenzelm
modernized some old-style infix operations, which were left over from the time of ML proof scripts;
file
|
diff
|
annotate
2011-11-23
wenzelm
modernized some old-style infix operations, which were left over from the time of ML proof scripts;
file
|
diff
|
annotate
2011-11-20
wenzelm
eliminated obsolete "standard";
file
|
diff
|
annotate
2011-05-13
wenzelm
clarified map_simpset versus Simplifier.map_simpset_global;
file
|
diff
|
annotate
2011-05-13
wenzelm
make ZF_cs snapshot after final setup;
file
|
diff
|
annotate
2011-04-22
wenzelm
misc tuning and simplification;
file
|
diff
|
annotate
2011-04-22
wenzelm
proper context for Quantifier1 simprocs (avoid bad ProofContext.init_global from abc655166d61);
file
|
diff
|
annotate
2011-04-22
wenzelm
modernized Quantifier1 simproc setup;
file
|
diff
|
annotate
2011-02-18
wenzelm
more precise headers;
file
|
diff
|
annotate
2008-12-03
haftmann
made repository layout more coherent with logical distribution structure; stripped some $Id$s
file
|
diff
|
annotate
2007-10-07
wenzelm
modernized specifications;
file
|
diff
|
annotate
2005-08-02
wenzelm
tuned;
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2004-06-02
paulson
new rules for simplifying quantifiers with Sigma
file
|
diff
|
annotate
2002-08-28
paulson
various new lemmas for Constructible
file
|
diff
|
annotate
2002-07-14
paulson
Removal of mono.thy
file
|
diff
|
annotate
2002-06-23
paulson
conversion of Sum, pair to Isar script
file
|
diff
|
annotate
2001-10-05
wenzelm
tuned;
file
|
diff
|
annotate
2000-08-10
paulson
installation of cancellation simprocs for the integers
file
|
diff
|
annotate
1997-01-03
paulson
Implicit simpsets and clasets for FOL and ZF
file
|
diff
|
annotate
1993-11-16
clasohm
made pseudo theories for all ML files;
file
|
diff
|
annotate
less
more
(0)
tip