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
.
CONTRIBUTORS
2007-06-21
paulson
integration of Metis prover
file
|
diff
|
annotate
2007-06-14
kleing
clarified who we consider to be a contributor
file
|
diff
|
annotate
2007-06-05
wenzelm
Semiring normalization and Groebner Bases.
file
|
diff
|
annotate
2007-03-16
haftmann
updated
file
|
diff
|
annotate
2006-11-08
wenzelm
* November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
file
|
diff
|
annotate
2006-11-04
wenzelm
* October 2006: Stefan Hohe, TUM;
file
|
diff
|
annotate
2006-08-05
wenzelm
Amine Chaieb: experimental generic reflection and reification in HOL;
file
|
diff
|
annotate
2006-07-10
kleing
hex and binary numerals (contributed by Rafal Kolanski)
file
|
diff
|
annotate
2006-06-15
nipkow
*** empty log message ***
file
|
diff
|
annotate
2006-05-16
wenzelm
Amine Chaieb: Ferrante and Rackoff Algorithm;
file
|
diff
|
annotate
2006-04-26
kleing
added Ben Porter's stuff
file
|
diff
|
annotate
2005-10-14
wenzelm
more;
file
|
diff
|
annotate
2005-09-25
wenzelm
more;
file
|
diff
|
annotate
2005-09-21
wenzelm
tuned;
file
|
diff
|
annotate
2005-09-21
wenzelm
tuned;
file
|
diff
|
annotate
2005-09-21
wenzelm
tuned;
file
|
diff
|
annotate
2005-09-20
wenzelm
HOL/ex/Chinese.thy;
file
|
diff
|
annotate
2005-09-20
wenzelm
more contributions;
file
|
diff
|
annotate
2005-09-14
wenzelm
Bernhard Haeupler: comm_ring;
file
|
diff
|
annotate
2005-07-19
wenzelm
more contribs;
file
|
diff
|
annotate
2005-07-18
haftmann
reverted from fold_yield to fold_map
file
|
diff
|
annotate
2005-07-15
wenzelm
*** empty log message ***
file
|
diff
|
annotate
2005-06-05
wenzelm
Lucas Dixon;
file
|
diff
|
annotate
2005-05-17
wenzelm
proper Id line;
file
|
diff
|
annotate
2005-05-17
wenzelm
updated;
file
|
diff
|
annotate
2005-05-17
wenzelm
added;
file
|
diff
|
annotate
less
more
(0)
tip