| #
3d0796ea |
|
20-May-2018 |
wenzelm <none@none> |
avoid undeclared frees;
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
f4961062 |
|
20-Nov-2011 |
wenzelm <none@none> |
eliminated obsolete "standard";
|
| #
9efffb25 |
|
10-Sep-2011 |
wenzelm <none@none> |
speed up slow proof;
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
7e8dd8a3 |
|
11-Jul-2007 |
berghofe <none@none> |
Adapted to new inductive definition package.
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
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
|
| #
8671b95c |
|
30-Jan-2003 |
paulson <none@none> |
conversion of UNITY theories to new-style
|
| #
4b11080c |
|
13-Jun-1999 |
paulson <none@none> |
new-style infix directives
|
| #
d1abc3fc |
|
24-May-1999 |
paulson <none@none> |
Increasing makes sense only for partial orderings
|
| #
63864756 |
|
04-May-1999 |
paulson <none@none> |
new definitions of Co and LeadsTo
|
| #
e8deb88d |
|
04-May-1999 |
paulson <none@none> |
Invariant -> Always and other tidying
|
| #
e545cd68 |
|
29-Apr-1999 |
paulson <none@none> |
made many specification operators infix
|
| #
a3811982 |
|
28-Apr-1999 |
paulson <none@none> |
eliminated theory UNITY/Traces
|
| #
e58e3851 |
|
30-Oct-1998 |
paulson <none@none> |
the Increasing operator
|
| #
f8e376a9 |
|
15-Oct-1998 |
paulson <none@none> |
specifications as sets of programs
|
| #
bfd9c441 |
|
07-Oct-1998 |
paulson <none@none> |
tidying and renaming
|
| #
69fe247a |
|
13-Aug-1998 |
paulson <none@none> |
Constrains, Stable, Invariant...more of the substitution axiom, but Union
does not work well with them
|