| #
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
| #
2531ee45 |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
68f43bed |
|
23-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
| #
f5cf0e45 |
|
06-Mar-2012 |
paulson <none@none> |
More mathematical symbols for ZF examples
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
e7a16ceb |
|
07-Oct-2007 |
wenzelm <none@none> |
modernized specifications;
removed legacy ML bindings;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
d108d75e |
|
27-Jun-2003 |
paulson <none@none> |
Conversion of theory UNITY to Isar script
|
| #
65e75de5 |
|
27-Jun-2003 |
paulson <none@none> |
Conversion of AllocBase to new-style
|
| #
4cb44482 |
|
26-Jun-2003 |
paulson <none@none> |
Conversion of "Merge" to Isar format
|
| #
631c5459 |
|
12-Jun-2003 |
paulson <none@none> |
x-symbols (mostly)
|
| #
a0b7c449 |
|
29-May-2003 |
paulson <none@none> |
Introduction of the theories UNITY/Merge, UNITY/ClientImpl
|