#
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
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
|