| Wed, 29 Sep 2010 11:02:24 +0200 |
krauss |
backed out my old attempt at single_hyp_subst_tac (67cd6ed76446)
|
file |
diff |
annotate
|
| Mon, 06 Sep 2010 19:13:10 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 17:47:18 +0200 |
krauss |
single_hyp(_meta)_subst_tac: Controlled substitution of a single hyp
|
file |
diff |
annotate
|
| Sun, 26 Nov 2006 23:43:53 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 14:29:57 +0100 |
wenzelm |
tuned hypsubst setup;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2006 14:51:25 +0200 |
haftmann |
slight type signature changes
|
file |
diff |
annotate
|
| Tue, 04 Dec 2001 02:00:45 +0100 |
wenzelm |
no need for hyp_subst_tac' (!?);
|
file |
diff |
annotate
|
| Mon, 03 Dec 2001 21:01:11 +0100 |
wenzelm |
hyp_subst_tac';
|
file |
diff |
annotate
|
| Fri, 04 Aug 2000 22:56:31 +0200 |
wenzelm |
rev_eq_reflection = meta_eq_to_obj_eq;
|
file |
diff |
annotate
|
| Wed, 25 Aug 1999 20:45:19 +0200 |
wenzelm |
proper bootstrap of IFOL/FOL theories and packages;
|
file |
diff |
annotate
|