| #
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;
|
| #
5fc26177 |
|
11-Sep-2014 |
blanchet <none@none> |
updated news
|
| #
d2ddb3a1 |
|
09-Sep-2014 |
blanchet <none@none> |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
| #
53320a70 |
|
13-Aug-2013 |
wenzelm <none@none> |
more symbolic notation;
|
| #
b05afef4 |
|
11-Jun-2010 |
haftmann <none@none> |
modernized specifications
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
942a6e5f |
|
24-Feb-2010 |
wenzelm <none@none> |
modernized syntax declarations, and make them actually work with authentic syntax;
|
| #
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
|
| #
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
| #
5cb78acf |
|
18-Feb-2003 |
kleing <none@none> |
check maxs in defensive machine
|
| #
89a6f329 |
|
23-Oct-2002 |
kleing <none@none> |
cleanup, beautified
|
| #
de075352 |
|
08-Oct-2002 |
kleing <none@none> |
defensive machine without obj init and jsr
|