| #
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
| #
d9ef7419 |
|
02-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
ba266305 |
|
07-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
ba81fa63 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
9b4853bb |
|
23-Apr-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
216c8115 |
|
16-Jan-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
c040dd23 |
|
24-Nov-2009 |
haftmann <none@none> |
backported parts of abstract byte code verifier from AFP/Jinja
--HG--
extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
|
| #
0c54a3d3 |
|
27-Apr-2005 |
paulson <none@none> |
partial modernising of theory headers
|
| #
44936f79 |
|
23-Oct-2002 |
streckem <none@none> |
*** empty log message ***
|
| #
3667520a |
|
20-Mar-2002 |
kleing <none@none> |
new_Addr defined in terms of J/State.new_Addr (for compiler)
|
| #
d1d14dc6 |
|
09-Mar-2002 |
kleing <none@none> |
canonical start state
|
| #
0e7365d8 |
|
21-Feb-2002 |
kleing <none@none> |
new document
|
| #
09f51db6 |
|
15-Dec-2001 |
kleing <none@none> |
exception merge + cleanup
|
| #
bfd9f59a |
|
22-Feb-2001 |
kleing <none@none> |
removed unused function
|
| #
43bb02fa |
|
16-Jan-2001 |
kleing <none@none> |
Store.thy is obsolete (newref isn't used any more)
|
| #
339494fb |
|
22-Sep-2000 |
kleing <none@none> |
converted to Isar, tuned
|
| #
3d045495 |
|
21-Sep-2000 |
kleing <none@none> |
unsymbolized
|
| #
7da573c4 |
|
26-Nov-1999 |
nipkow <none@none> |
Various little changes like cmethd -> method and cfield -> field.
|
| #
09af5f87 |
|
10-Nov-1999 |
nipkow <none@none> |
*** empty log message ***
|