| Sun, 05 Dec 2010 14:02:16 +0100 |
wenzelm |
command 'notepad' replaces former 'example_proof';
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 19:21:00 +0200 |
wenzelm |
more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2010 17:52:30 +0200 |
berghofe |
Documented changes in induct, cases, and nominal_induct method.
|
file |
diff |
annotate
|
| Mon, 26 Apr 2010 21:45:08 +0200 |
wenzelm |
command 'example_proof' opens an empty proof body;
|
file |
diff |
annotate
|
| Fri, 23 Apr 2010 23:38:01 +0200 |
wenzelm |
cover 'schematic_lemma' etc.;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 17:51:07 +0100 |
wenzelm |
simplifief 'method_setup' command;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2009 19:58:26 +0100 |
wenzelm |
unified type Proof.method and pervasive METHOD combinators;
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 00:02:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 16:48:27 +0100 |
wenzelm |
moved method "iprover" to HOL specific part;
|
file |
diff |
annotate
|
| Sun, 15 Feb 2009 18:54:00 +0100 |
wenzelm |
added label;
|
file |
diff |
annotate
|
| Sun, 15 Feb 2009 18:11:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 21:38:03 +0100 |
wenzelm |
tuned formal markup;
|
file |
diff |
annotate
|