| Wed, 12 Sep 2018 18:44:31 +0200 |
nipkow |
added spaces because otherwise nonatomic arguments look awful: BIGf x -> BIG f x
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:23 +0200 |
haftmann |
slightly more canonical imports
|
file |
diff |
annotate
|
| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Mon, 28 Dec 2015 21:47:32 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 10:29:24 +0200 |
haftmann |
renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
|
file |
diff |
annotate
|
| Wed, 08 Dec 2010 15:05:46 +0100 |
haftmann |
bot comes before top, inf before sup etc.
|
file |
diff |
annotate
|
| Wed, 08 Dec 2010 14:52:23 +0100 |
haftmann |
nice syntax for lattice INFI, SUPR;
|
file |
diff |
annotate
|
| Sun, 14 Mar 2010 14:29:30 +0100 |
wenzelm |
expose formal text;
|
file |
diff |
annotate
|
| Wed, 22 Jul 2009 18:02:10 +0200 |
haftmann |
moved complete_lattice &c. into separate theory
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 15:25:29 +0100 |
haftmann |
added top and bot syntax
|
file |
diff |
annotate
|
| Sat, 07 Mar 2009 10:06:12 +0100 |
haftmann |
suppress document output
|
file |
diff |
annotate
|
| Fri, 06 Mar 2009 20:30:19 +0100 |
haftmann |
theory with syntax for lattice operations
|
file |
diff |
annotate
|