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/Hoare/Pointers0.thy
2020-12-23
wenzelm
tuned document, notably authors and sections;
file
|
diff
|
annotate
2020-07-02
haftmann
extraction of equations x = t from premises beneath meta-all
file
|
diff
|
annotate
2019-01-05
wenzelm
isabelle update -u control_cartouches;
file
|
diff
|
annotate
2018-02-15
wenzelm
more symbols;
file
|
diff
|
annotate
2018-01-16
wenzelm
clarified comments;
file
|
diff
|
annotate
2016-01-02
wenzelm
isabelle update_cartouches -c -t;
file
|
diff
|
annotate
2011-09-12
nipkow
new fastforce replacing fastsimp - less confusing name
file
|
diff
|
annotate
2011-03-13
wenzelm
tuned headers;
file
|
diff
|
annotate
2010-08-11
wenzelm
modernized specifications;
file
|
diff
|
annotate
2010-03-01
krauss
more recdef (and old primrec) hunting
file
|
diff
|
annotate
2010-03-01
haftmann
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
file
|
diff
|
annotate
2010-02-23
haftmann
dropped axclass; dropped Id; session theory Hoare.thy
file
|
diff
|
annotate
2010-02-10
wenzelm
modernized translations;
file
|
diff
|
annotate
2005-10-07
nipkow
changes due to new neq_simproc in simpdata.ML
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2004-05-14
paulson
deleted redundant proof lines
file
|
diff
|
annotate
2003-01-05
nipkow
*** empty log message ***
file
|
diff
|
annotate
less
more
(0)
tip