| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
d4c96e26 |
|
15-Jun-2018 |
nipkow <none@none> |
empty -> Map.empty
|
| #
6c81c6ca |
|
16-Jan-2018 |
wenzelm <none@none> |
clarified comments;
|
| #
458cdc4e |
|
12-Jan-2018 |
wenzelm <none@none> |
prefer formal comments;
|
| #
d9ef7419 |
|
02-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
ffcd6989 |
|
25-May-2013 |
wenzelm <none@none> |
syntax translations always depend on context;
|
| #
ad9e459c |
|
11-Sep-2011 |
nipkow <none@none> |
new fastforce replacing fastsimp - less confusing name
|
| #
7b43a234 |
|
17-Aug-2011 |
wenzelm <none@none> |
modernized signature of Term.absfree/absdummy;
eliminated obsolete Term.list_abs_free;
|
| #
04ea5a18 |
|
11-Aug-2010 |
wenzelm <none@none> |
modernized specifications;
tuned headers;
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
3d7efdb2 |
|
23-Feb-2010 |
haftmann <none@none> |
dropped axclass; dropped Id; session theory Hoare.thy
--HG--
rename : src/HOL/Hoare/ROOT.ML => src/HOL/Hoare/Hoare.thy
rename : src/HOL/Hoare/Hoare.thy => src/HOL/Hoare/Hoare_Logic.thy
|
| #
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations;
formal markup of @{syntax_const} and @{const_syntax};
|
| #
50616c4e |
|
10-Feb-2010 |
wenzelm <none@none> |
modernized translations;
|
| #
d9f4c279 |
|
20-Dec-2005 |
paulson <none@none> |
removed or modified some instances of [iff]
|
| #
40ba3cdf |
|
07-Oct-2005 |
wenzelm <none@none> |
print_translation: does not handle _idtdummy;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
7958db80 |
|
26-Jun-2003 |
nipkow <none@none> |
*** empty log message ***
|
| #
f8a105b7 |
|
14-May-2003 |
nipkow <none@none> |
eparation logic - a beginning.
|
| #
db723f69 |
|
08-Apr-2003 |
nipkow <none@none> |
First working version
|
| #
b6c9a27f |
|
23-Mar-2003 |
nipkow <none@none> |
*** empty log message ***
|
| #
7aa30ca2 |
|
17-Mar-2003 |
nipkow <none@none> |
just a few mods to a few thms
|
| #
6a4aaaaa |
|
11-Mar-2003 |
nipkow <none@none> |
*** empty log message ***
|