| #
2df4ddef |
|
10-Aug-2016 |
nipkow <none@none> |
"split add" -> "split"
|
| #
c5ca84de |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
68f43bed |
|
23-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
| #
0551f7de |
|
01-Nov-2014 |
wenzelm <none@none> |
eliminated spurious semicolons;
|
| #
f5cf0e45 |
|
06-Mar-2012 |
paulson <none@none> |
More mathematical symbols for ZF examples
|
| #
db3d92c6 |
|
18-Feb-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
73ea64fa |
|
15-Mar-2008 |
wenzelm <none@none> |
avoid unclear fact references;
|
| #
e7a16ceb |
|
07-Oct-2007 |
wenzelm <none@none> |
modernized specifications;
removed legacy ML bindings;
|
| #
3daff02d |
|
07-Oct-2007 |
wenzelm <none@none> |
replaced some 'translations' by 'abbreviation';
|
| #
a1538a69 |
|
29-Jul-2007 |
wenzelm <none@none> |
replaced program_defs_ref by proper context data (via attribute "program");
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
b0eed312 |
|
02-Jun-2005 |
paulson <none@none> |
renamed "constrains" to "safety" to avoid keyword clash
|
| #
883f343f |
|
01-Feb-2005 |
paulson <none@none> |
the new subst tactic, by Lucas Dixon
|
| #
f5ea3b4a |
|
10-Jul-2003 |
paulson <none@none> |
Changed many Intersection rules from i:I to I~=0 to avoid introducing a new
variable
|
| #
65e75de5 |
|
27-Jun-2003 |
paulson <none@none> |
Conversion of AllocBase to new-style
|
| #
f8ba125f |
|
25-Jun-2003 |
paulson <none@none> |
Conversion of UNITY/Distributor to Isar script. General tidy-up.
|
| #
6f40aa86 |
|
24-Jun-2003 |
paulson <none@none> |
Converting ZF/UNITY to Isar
|
| #
01b21bb3 |
|
20-Jun-2003 |
paulson <none@none> |
conversion of ClientImpl to Isar script
|
| #
015e4b4b |
|
19-Jun-2003 |
paulson <none@none> |
Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
|