| Mon, 18 Oct 2010 12:33:13 +0100 |
wenzelm |
more on "Basic data types";
|
file |
diff |
annotate
|
| Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
file |
diff |
annotate
|
| Sat, 16 Oct 2010 20:27:35 +0100 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 13:05:23 +0100 |
wenzelm |
examples in Isabelle/HOL;
|
file |
diff |
annotate
|
| Mon, 11 Oct 2010 21:05:01 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Sun, 10 Oct 2010 20:42:10 +0100 |
wenzelm |
cover some more theory operations;
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 21:18:20 +0100 |
wenzelm |
more examples;
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 21:04:03 +0100 |
wenzelm |
various concrete ML antiquotations;
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 17:41:51 +0100 |
wenzelm |
eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX);
|
file |
diff |
annotate
|
| Thu, 07 Oct 2010 12:39:01 +0100 |
wenzelm |
minor tuning and updating;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 15:53:13 +0200 |
wenzelm |
modernized structure Ord_List;
|
file |
diff |
annotate
|
| Thu, 24 Jun 2010 21:57:18 +0200 |
wenzelm |
explicit treatment of UTF8 character sequences as Isabelle symbols;
|
file |
diff |
annotate
|
| Mon, 03 May 2010 14:31:33 +0200 |
wenzelm |
ProofContext.init_global;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2010 23:13:01 +0100 |
wenzelm |
modernized structure Term_Ord;
|
file |
diff |
annotate
|
| Tue, 02 Feb 2010 11:47:49 +0100 |
wenzelm |
moved examples to proper place;
|
file |
diff |
annotate
|
| Mon, 01 Feb 2010 22:46:12 +0100 |
wenzelm |
more details on long names, binding/naming, name space;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2010 22:08:25 +0100 |
wenzelm |
Variable.names_of;
|
file |
diff |
annotate
|
| Sun, 31 Jan 2010 21:40:44 +0100 |
wenzelm |
more details on Isabelle symbols;
|
file |
diff |
annotate
|
| Fri, 29 Jan 2010 23:59:03 +0100 |
wenzelm |
theory data example;
|
file |
diff |
annotate
|
| Thu, 28 Jan 2010 22:38:11 +0100 |
wenzelm |
formal markup of type aliases;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2009 21:00:05 +0100 |
wenzelm |
updated functor Theory_Data, Proof_Data, Generic_Data;
|
file |
diff |
annotate
|
| Mon, 26 Oct 2009 08:54:20 +0100 |
haftmann |
adjusted to changes in corresponding ML code
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 17:37:18 +0100 |
wenzelm |
adapted to structure Long_Name;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 12:11:25 +0100 |
wenzelm |
renamed NameSpace.base to NameSpace.base_name (in accordance with "full_name");
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 02:27:54 +0100 |
wenzelm |
regenerated document;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 02:20:06 +0100 |
wenzelm |
dummy changes to produce a new changeset of these files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 21:39:19 +0100 |
wenzelm |
minor tuning and typographic fixes;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 21:23:33 +0100 |
wenzelm |
removed rudiments of glossary;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|