| Wed, 15 Feb 2012 20:16:50 +0100 |
wenzelm |
removed redundant cut_inst_tac -- already covered in implementation manual;
|
file |
diff |
annotate
|
| Thu, 09 Feb 2012 19:34:23 +0100 |
wenzelm |
basic setup for equational reasoning;
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 22:12:25 +0100 |
wenzelm |
updated hint about asm_rl;
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 22:00:10 +0100 |
wenzelm |
updated thin_tac;
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 21:40:29 +0100 |
wenzelm |
updated distinct_subgoals_tac, flexflex_tac;
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 21:26:09 +0100 |
wenzelm |
removed obscure material;
|
file |
diff |
annotate
|
| Sun, 29 Jan 2012 21:04:39 +0100 |
wenzelm |
updated rotate_tac;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2012 21:29:37 +0100 |
wenzelm |
updated subgoal_tac;
|
file |
diff |
annotate
|
| Wed, 25 Jan 2012 16:16:20 +0100 |
wenzelm |
removed obscure/outdated material;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
| Mon, 10 Oct 2005 14:43:45 +0200 |
wenzelm |
updated print_tac;
|
file |
diff |
annotate
|
| Fri, 27 Oct 2000 15:53:47 +0200 |
oheimb |
added instantiate_tac
|
file |
diff |
annotate
|