| #
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
4f7dfcc7 |
|
10-Nov-2015 |
Andreas Lochbihler <none@none> |
adapt to 90f54d9e63f2
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
d0934889 |
|
02-Jul-2014 |
wenzelm <none@none> |
modernized definitions;
|
| #
deac04eb |
|
22-Jul-2010 |
wenzelm <none@none> |
updated some headers;
|
| #
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
|
| #
4f0c87b6 |
|
24-Jan-2003 |
paulson <none@none> |
Partial conversion of UNITY to Isar new-style theories
|
| #
1e96275a |
|
03-Mar-2000 |
paulson <none@none> |
Added Tanja's Detects and Reachability theories. Also
changed object-quantifiers to meta-quantifiers in ball_constrains_UN/INT...
|