#
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
f67d856d |
|
25-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
7f9cbadc |
|
13-Mar-2012 |
wenzelm <none@none> |
tuned context specifications and proofs;
|
#
324e98e6 |
|
14-Feb-2012 |
wenzelm <none@none> |
prefer high-level elim_format;
|
#
6337ab39 |
|
12-Nov-2011 |
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)
|
#
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
|
#
99b04075 |
|
03-Aug-2007 |
wenzelm <none@none> |
misc cleanup of ML bindings (for multihreading);
|
#
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
#
3c4494d5 |
|
15-Feb-2003 |
paulson <none@none> |
minor revisions
|
#
5bb51f23 |
|
08-Feb-2003 |
paulson <none@none> |
converting HOL/UNITY to use unconditional fairness
|
#
1674bc09 |
|
31-Jan-2003 |
paulson <none@none> |
conversion to new-style theories and tidying
|
#
e1895cc3 |
|
29-Jan-2003 |
paulson <none@none> |
converting UNITY to new-style theories
|
#
ced4250f |
|
23-Sep-2000 |
paulson <none@none> |
added compatibility relation: AllowedActs, Allowed, ok, OK and changes to "guarantees", etc.
|
#
af066af4 |
|
08-Dec-1999 |
paulson <none@none> |
abolition of localTo: instead "guarantees" has local vars as extra argument
|
#
9c72ed0f |
|
27-Oct-1999 |
paulson <none@none> |
working again; new treatment of LocalTo
|
#
2a3c4b0b |
|
18-Oct-1999 |
paulson <none@none> |
exchanged the first two args of "project" and "drop_prog"
|
#
2289e39b |
|
18-Oct-1999 |
paulson <none@none> |
working version with localTo[C] instead of localTo
|
#
c3c5e8fb |
|
11-Oct-1999 |
paulson <none@none> |
working shapshot with "projecting" and "extending"
|
#
5d554691 |
|
04-Oct-1999 |
paulson <none@none> |
working snapshot (even Alloc)
|
#
78a5f3f4 |
|
29-Sep-1999 |
paulson <none@none> |
working snapshot with new theory "Project"
|