#
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
ac866a0f |
|
25-Dec-2013 |
haftmann <none@none> |
prefer more canonical names for lemmas on min/max
|
#
335fd006 |
|
10-Sep-2011 |
wenzelm <none@none> |
misc tuning and clarification;
|
#
deac04eb |
|
22-Jul-2010 |
wenzelm <none@none> |
updated some headers;
|
#
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
#
122eebc6 |
|
22-Sep-2009 |
haftmann <none@none> |
be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
|
#
3f08547a |
|
21-Sep-2009 |
haftmann <none@none> |
tuned header
|
#
87be7149 |
|
21-Sep-2009 |
haftmann <none@none> |
isarified proof
|
#
8163f374 |
|
31-Aug-2009 |
nipkow <none@none> |
tuned the simp rules for Int involving insert and intervals.
|
#
8f4ea978 |
|
28-Aug-2009 |
nipkow <none@none> |
tuned proofs
|
#
e7f7aeb8 |
|
13-Oct-2006 |
berghofe <none@none> |
Adapted to changes in FixedPoint theory.
|
#
3a22d7a5 |
|
03-Jan-2006 |
paulson <none@none> |
added explicit paths to required theories
|
#
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
|
#
681aa5e4 |
|
05-Feb-2003 |
paulson <none@none> |
more tidying
|
#
4f0c87b6 |
|
24-Jan-2003 |
paulson <none@none> |
Partial conversion of UNITY to Isar new-style theories
|
#
35842404 |
|
05-Mar-2001 |
paulson <none@none> |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|