| #
35f7dccd |
|
23-Feb-2016 |
nipkow <none@none> |
more canonical names
|
| #
ba266305 |
|
07-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
ba81fa63 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
870b0a5d |
|
27-Sep-2010 |
haftmann <none@none> |
modernized primrecs
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
07e2d577 |
|
10-Feb-2010 |
wenzelm <none@none> |
modernized translations;
|
| #
c040dd23 |
|
24-Nov-2009 |
haftmann <none@none> |
backported parts of abstract byte code verifier from AFP/Jinja
--HG--
extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
44936f79 |
|
23-Oct-2002 |
streckem <none@none> |
*** empty log message ***
|
| #
bdc4de09 |
|
24-Mar-2002 |
kleing <none@none> |
more about match_exception_table
|
| #
d1d14dc6 |
|
09-Mar-2002 |
kleing <none@none> |
canonical start state
|
| #
0e7365d8 |
|
21-Feb-2002 |
kleing <none@none> |
new document
|
| #
ce3d46dd |
|
18-Dec-2001 |
kleing <none@none> |
removed preallocated heaps axiom (now in type safety invariant)
|
| #
09f51db6 |
|
15-Dec-2001 |
kleing <none@none> |
exception merge + cleanup
|