| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
ce5e1da3 |
|
28-Dec-2015 |
wenzelm <none@none> |
more symbols;
|
| #
feca4ab8 |
|
10-Dec-2015 |
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";
|
| #
deac04eb |
|
22-Jul-2010 |
wenzelm <none@none> |
updated some headers;
|
| #
7b63d2a6 |
|
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
|
| #
5442a36e |
|
26-Sep-2003 |
paulson <none@none> |
Conversion of all main protocols from "Shared" to "Public".
Removal of Key_supply_ax: modifications to possibility theorems.
Improved presentation.
|
| #
d66531ec |
|
23-Sep-2003 |
paulson <none@none> |
Removal of the Key_supply axiom (affects many possbility proofs) and minor
changes
|
| #
7a4d9400 |
|
05-May-2003 |
paulson <none@none> |
improved presentation of HOL/Auth theories
|
| #
63be96be |
|
25-Apr-2003 |
paulson <none@none> |
converting more HOL-Auth to new-style theories
|
| #
05b61f85 |
|
17-Aug-2002 |
paulson <none@none> |
tidying of Isar scripts
|
| #
4962745e |
|
03-Oct-2001 |
wenzelm <none@none> |
tuned parentheses in relational expressions;
|
| #
f88893dc |
|
11-Apr-2001 |
paulson <none@none> |
converted many HOL/Auth theories to Isar scripts
|
| #
22bc9d8c |
|
27-Feb-2001 |
paulson <none@none> |
Some X-symbols for <notin>, <noteq>, <forall>, <exists>
Streamlining of Yahalom proofs
Removal of redundant proofs
|
| #
93924fce |
|
18-Mar-1999 |
paulson <none@none> |
added new theory Yahalom_Bad
|