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/Resid/Residuals.thy
2010-03-13
wenzelm
removed old CVS Ids;
file
|
diff
|
annotate
2007-10-07
wenzelm
modernized specifications;
file
|
diff
|
annotate
2007-04-26
wenzelm
eliminated unnamed infixes, tuned syntax;
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2005-02-01
paulson
the new subst tactic, by Lucas Dixon
file
|
diff
|
annotate
2002-09-30
berghofe
Adapted to new simplifier.
file
|
diff
|
annotate
2002-07-10
paulson
Fixed quantified variable name preservation for ball and bex (bounded quants)
file
|
diff
|
annotate
2001-12-29
wenzelm
tuned document sources;
file
|
diff
|
annotate
2001-12-22
paulson
Resid converted to Isar/ZF
file
|
diff
|
annotate
2001-05-21
paulson
X-symbols for ZF
file
|
diff
|
annotate
1997-10-10
wenzelm
fixed dots;
file
|
diff
|
annotate
1996-02-06
clasohm
expanded tabs
file
|
diff
|
annotate
1995-12-09
clasohm
removed quotes from consts and syntax sections
file
|
diff
|
annotate
1995-06-22
clasohm
removed \...\ inside strings
file
|
diff
|
annotate
1995-04-13
lcp
New example by Ole Rasmussen
file
|
diff
|
annotate
less
more
(0)
tip