| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
7c503729 |
|
27-Dec-2015 |
wenzelm <none@none> |
discontinued ASCII replacement syntax <*>;
|
| #
f55b23fd |
|
23-Jul-2015 |
wenzelm <none@none> |
more symbols by default, without xsymbols mode;
|
| #
dc6cdd46 |
|
21-Feb-2012 |
wenzelm <none@none> |
tuned proofs;
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
3403212c |
|
08-Feb-2010 |
wenzelm <none@none> |
modernized some syntax translations;
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
5125b879 |
|
15-Aug-2003 |
paulson <none@none> |
A document for UNITY
|
| #
5bb51f23 |
|
08-Feb-2003 |
paulson <none@none> |
converting HOL/UNITY to use unconditional fairness
|
| #
2380b71a |
|
04-Feb-2003 |
paulson <none@none> |
some x-symbols
|
| #
1674bc09 |
|
31-Jan-2003 |
paulson <none@none> |
conversion to new-style theories and tidying
|
| #
71fec134 |
|
24-Jan-2003 |
paulson <none@none> |
More conversion of UNITY to Isar new-style theories
|
| #
49598266 |
|
18-Feb-2000 |
paulson <none@none> |
New treatment of "guarantees" with polymorphic components and bijections.
Works EXCEPT FOR Alloc.
|
| #
9dac6d1b |
|
06-Aug-1999 |
paulson <none@none> |
re-organization of theorems from Alloc and PPROD, partly into new theory
Lift_prog
|
| #
554ad2d1 |
|
23-Jun-1999 |
paulson <none@none> |
renamed PPI to plam
simplified the definition of lift_act
|
| #
41fbfc35 |
|
17-Jun-1999 |
paulson <none@none> |
addition of drop_... operators with new results and simplification of old ones
|
| #
a6490db6 |
|
01-Mar-1999 |
paulson <none@none> |
removed the infernal States, eqStates, compatible, etc.
|
| #
143a3133 |
|
07-Dec-1998 |
paulson <none@none> |
towards handling sharing of variables
|
| #
76d0cd85 |
|
03-Dec-1998 |
paulson <none@none> |
Addition of the States component; parts of Comp not working
|
| #
5ffb539a |
|
25-Nov-1998 |
paulson <none@none> |
guarantees laws
|
| #
e8e5af0f |
|
16-Nov-1998 |
paulson <none@none> |
new theory PPROD
|