| Sun, 06 May 2012 11:52:33 +0200 |
wenzelm |
prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 22:01:45 +0200 |
wenzelm |
updated const "relcomp";
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 17:57:23 +0200 |
nipkow |
improved robustness with new antiquoation by Makarius
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 16:12:10 +0200 |
nipkow |
updates
|
file |
diff |
annotate
|
| Wed, 15 Feb 2012 20:24:21 +0100 |
wenzelm |
updated listrel (cf. 80dccedd6c14);
|
file |
diff |
annotate
|
| Fri, 06 Jan 2012 10:19:49 +0100 |
haftmann |
incorporated canonical fold combinator on lists into body of List theory; refactored passages on List.fold(l/r)
|
file |
diff |
annotate
|
| Wed, 23 Nov 2011 13:46:46 +0100 |
wenzelm |
updated according to bdcaa3f3a2f4;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 14:55:27 +0200 |
wenzelm |
updated Complete_Lattices;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 22:20:49 +0200 |
wenzelm |
document antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Wed, 12 Jan 2011 21:57:01 +0100 |
krauss |
documented Option.bind
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 17:28:27 +0200 |
nipkow |
added listrel1
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 12:40:20 +0200 |
wenzelm |
proper context for various Thy_Output options, via official configuration options in ML and Isar;
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 11:56:57 +0200 |
haftmann |
avoid old unnamed infix
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Tue, 16 Mar 2010 06:55:01 +0100 |
haftmann |
adjusted to changes in Finite_Set
|
file |
diff |
annotate
|
| Mon, 22 Feb 2010 09:36:29 +0100 |
haftmann |
adjusted to cs. 8dfd816713c6
|
file |
diff |
annotate
|
| Tue, 09 Feb 2010 08:28:12 +0100 |
haftmann |
adjusted to cs. 9f841f20dca6
|
file |
diff |
annotate
|
| Sat, 06 Feb 2010 08:42:22 +0100 |
haftmann |
adjusted to changeset 118b41bba42b5
|
file |
diff |
annotate
|
| Thu, 22 Oct 2009 09:27:48 +0200 |
nipkow |
inv_onto -> inv_into
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 14:44:02 +0200 |
nipkow |
added Hilbert_Choice section
|
file |
diff |
annotate
|
| Wed, 14 Oct 2009 21:14:53 +0200 |
nipkow |
added List.nth
|
file |
diff |
annotate
|
| Wed, 07 Oct 2009 09:44:03 +0200 |
haftmann |
Inf/Sup now purely syntactic
|
file |
diff |
annotate
|
| Tue, 28 Jul 2009 08:48:48 +0200 |
krauss |
adapted doc to type of "op O"
|
file |
diff |
annotate
|
| Sun, 26 Jul 2009 08:03:40 +0200 |
haftmann |
adapted to changed prefixes
|
file |
diff |
annotate
|
| Thu, 23 Jul 2009 15:59:14 +0200 |
haftmann |
fixed doc
|
file |
diff |
annotate
|
| Sun, 26 Apr 2009 08:34:53 +0200 |
haftmann |
adjusted to changes in power syntax
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 20:11:06 +0100 |
wenzelm |
basic setup for "main" as generated Isabelle manual;
|
file |
diff |
annotate
| base
|