#
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
28ba69a7 |
|
26-Apr-2016 |
wenzelm <none@none> |
tuned notation;
|
#
f5e47925 |
|
26-Apr-2016 |
wenzelm <none@none> |
misc tuning and modernization;
|
#
67db2d81 |
|
26-Dec-2015 |
wenzelm <none@none> |
tuned;
|
#
36e39dcf |
|
26-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
ee8e8234 |
|
06-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
f2f7425c |
|
07-Oct-2014 |
wenzelm <none@none> |
more antiquotations;
|
#
7dd828bb |
|
26-Feb-2012 |
wenzelm <none@none> |
tuned proofs;
|
#
ed418196 |
|
28-Dec-2011 |
wenzelm <none@none> |
reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; tuned proofs;
|
#
9b4853bb |
|
23-Apr-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
4d88fba5 |
|
07-Jan-2011 |
bulwahn <none@none> |
removing obselete Id comments from HOL/ex theories
|
#
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
|
#
02f1fc44 |
|
16-Sep-2009 |
haftmann <none@none> |
Inter and Union are mere abbreviations for Inf and Sup
|
#
b048a954 |
|
07-May-2008 |
berghofe <none@none> |
Rephrased calculational proofs to avoid problems with HO unification
|
#
1a780cb0 |
|
20-Aug-2007 |
haftmann <none@none> |
Sup now explicit parameter of complete_lattice
|
#
282fc2bd |
|
14-Jun-2007 |
wenzelm <none@none> |
tuned proofs: avoid implicit prems;
|
#
a2f96da7 |
|
03-Jun-2007 |
wenzelm <none@none> |
tuned document;
|
#
cd65d9bc |
|
16-Nov-2006 |
wenzelm <none@none> |
more robust syntax for definition/abbreviation/notation;
|
#
ff13c87f |
|
12-Nov-2006 |
nipkow <none@none> |
started reorgnization of lattice theories
|
#
e7f7aeb8 |
|
13-Oct-2006 |
berghofe <none@none> |
Adapted to changes in FixedPoint theory.
|
#
a33601ad |
|
01-Oct-2006 |
wenzelm <none@none> |
tuned;
|
#
1d7acbd7 |
|
14-Sep-2005 |
wenzelm <none@none> |
tuned headers etc.;
|
#
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
#
e84f7955 |
|
28-Apr-2005 |
bauerg <none@none> |
*** empty log message ***
|