| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
| #
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
c9f3da2d |
|
27-Dec-2015 |
wenzelm <none@none> |
discontinued ASCII replacement syntax <->;
|
| #
f55b23fd |
|
23-Jul-2015 |
wenzelm <none@none> |
more symbols by default, without xsymbols mode;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
9fd71573 |
|
10-Jun-2014 |
Thomas Sewell <thomas.sewell@nicta.com.au> |
Hypsubst preserves equality hypotheses
Fixes included for various theories affected by this change.
--HG--
extra : rebase_source : b0150e06a14c2821e03208834282be6eca87aae0
|
| #
548fd697 |
|
13-Mar-2012 |
wenzelm <none@none> |
tuned proofs;
|
| #
9626f2ce |
|
20-Nov-2011 |
wenzelm <none@none> |
'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing;
|
| #
9b4853bb |
|
23-Apr-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
deac04eb |
|
22-Jul-2010 |
wenzelm <none@none> |
updated some headers;
|
| #
a5f328ca |
|
12-May-2010 |
wenzelm <none@none> |
modernized specifications;
|
| #
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
737fdea6 |
|
02-Jun-2005 |
paulson <none@none> |
renamed "constrains" to "safety" to avoid keyword clash
|
| #
d0690b4b |
|
08-Nov-2004 |
paulson <none@none> |
tidied comments
|
| #
dcb52ddf |
|
02-Jul-2003 |
paulson <none@none> |
converted Counter, Counterc and PriorityAux to Isar scripts (all HOL/UNITY/Comp)
|
| #
642b3266 |
|
03-Jul-2003 |
paulson <none@none> |
Conversion of UNITY/Comp/Priority.thy to a linear Isar script
|
| #
5bb51f23 |
|
08-Feb-2003 |
paulson <none@none> |
converting HOL/UNITY to use unconditional fairness
|
| #
06317d69 |
|
30-Jan-2003 |
paulson <none@none> |
converting more UNITY theories to new-style
|
| #
64484fd5 |
|
05-Mar-2001 |
paulson <none@none> |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|