| Sat, 18 Feb 2012 20:53:39 +0100 |
haftmann |
updated generated documents
|
file |
diff |
annotate
|
| Thu, 26 Jan 2012 15:28:17 +0100 |
wenzelm |
added SELECT_GOAL;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:44:05 +0200 |
wenzelm |
use existing \<hyphen>;
|
file |
diff |
annotate
|
| Sat, 30 Apr 2011 23:27:57 +0200 |
wenzelm |
updated Variable.focus;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Sun, 05 Dec 2010 13:42:58 +0100 |
wenzelm |
prefer 'notepad' over 'example_proof';
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 15:57:16 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 20:57:33 +0100 |
wenzelm |
cumulative update of generated files (since bf164c153d10);
|
file |
diff |
annotate
|
| Fri, 05 Feb 2010 14:39:02 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Sat, 01 Aug 2009 20:34:34 +0200 |
wenzelm |
updated Variable.import;
|
file |
diff |
annotate
|
| Sun, 26 Jul 2009 13:21:12 +0200 |
wenzelm |
updated Variable.focus, SUBPROOF, Obtain.result, Goal.finish;
|
file |
diff |
annotate
|
| Wed, 24 Jun 2009 21:28:02 +0200 |
wenzelm |
renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
|
file |
diff |
annotate
|
| Fri, 06 Mar 2009 11:28:07 +0100 |
wenzelm |
recovered generated files;
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 20:55:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 21:39:52 +0100 |
wenzelm |
updated genereted files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:49:39 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|