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/HOL/ex/Lagrange.thy
2008-03-29
wenzelm
replaced 'ML_setup' by 'ML';
file
|
diff
|
annotate
2007-11-27
wenzelm
challenge by John Harrison: down to 12s (was 17s, was 75s);
file
|
diff
|
annotate
2007-06-23
nipkow
tuned and renamed group_eq_simps and ring_eq_simps
file
|
diff
|
annotate
2007-01-24
wenzelm
updated timing;
file
|
diff
|
annotate
2006-11-17
wenzelm
more robust syntax for definition/abbreviation/notation;
file
|
diff
|
annotate
2006-10-01
wenzelm
tuned;
file
|
diff
|
annotate
2006-05-27
wenzelm
tuned;
file
|
diff
|
annotate
2005-09-14
wenzelm
tuned headers etc.;
file
|
diff
|
annotate
2005-07-07
paulson
updated comment
file
|
diff
|
annotate
2005-06-25
nipkow
Changes due to new abel_cancel.ML
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2004-07-20
nipkow
ring_1 -> ring
file
|
diff
|
annotate
2004-05-11
obua
changes made due to new Ring_and_Field theory
file
|
diff
|
annotate
2004-04-16
nipkow
Moved ring stuff from ex into Ring_and_Field.
file
|
diff
|
annotate
2001-06-13
paulson
tidied
file
|
diff
|
annotate
1998-06-25
paulson
Installation of target HOL-Real
file
|
diff
|
annotate
1996-11-26
nipkow
A bit of commutative ing theory, with a simplification tacxtic and an example.
file
|
diff
|
annotate
less
more
(0)
tip