Sun, 29 Jan 2012 21:04:39 +0100 |
wenzelm |
updated rotate_tac;
|
changeset |
files
|
Fri, 27 Jan 2012 21:56:29 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 27 Jan 2012 21:48:40 +0100 |
wenzelm |
updated citations;
|
changeset |
files
|
Fri, 27 Jan 2012 21:29:37 +0100 |
wenzelm |
updated subgoal_tac;
|
changeset |
files
|
Thu, 26 Jan 2012 22:21:33 +0100 |
wenzelm |
tuned sectioning;
|
changeset |
files
|
Thu, 26 Jan 2012 22:16:45 +0100 |
wenzelm |
updated "Control and search tacticals" (moved from ref to implementation);
|
changeset |
files
|
Thu, 26 Jan 2012 21:25:18 +0100 |
wenzelm |
obsolete -- covered in implementation manual;
|
changeset |
files
|
Thu, 26 Jan 2012 21:16:11 +0100 |
wenzelm |
moved HEADGOAL;
|
changeset |
files
|
Thu, 26 Jan 2012 15:29:11 +0100 |
wenzelm |
removed some obscure material;
|
changeset |
files
|
Thu, 26 Jan 2012 15:28:17 +0100 |
wenzelm |
added SELECT_GOAL;
|
changeset |
files
|
Thu, 26 Jan 2012 15:04:35 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 25 Jan 2012 22:01:15 +0100 |
wenzelm |
updated "subgoal quantifiers";
|
changeset |
files
|
Wed, 25 Jan 2012 21:14:00 +0100 |
wenzelm |
tuned ML infixes;
|
changeset |
files
|
Wed, 25 Jan 2012 21:10:54 +0100 |
wenzelm |
document antiquotations for ML infix operators;
|
changeset |
files
|
Wed, 25 Jan 2012 20:26:05 +0100 |
wenzelm |
tuned;
|
changeset |
files
|