| Mon, 22 Aug 2011 17:22:49 -0700 |
huffman |
avoid warnings
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 23:12:02 +0200 |
wenzelm |
renamed Drule.instantiate to Drule.instantiate_normalize to emphasize its meaning as opposed to plain Thm.instantiate;
|
file |
diff |
annotate
|
| Fri, 13 May 2011 22:55:00 +0200 |
wenzelm |
proper Proof.context for classical tactics;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 22:04:33 +0100 |
wenzelm |
just one version of fold_rev2;
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 20:52:21 +0100 |
wenzelm |
eliminated some clones of eq_list;
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 11:42:40 +0200 |
haftmann |
Table.map replaces Table.map'
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
tuned titles
|
file |
diff |
annotate
|
| Sat, 15 May 2010 21:50:05 +0200 |
wenzelm |
less pervasive names from structure Thm;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 18:15:50 +0200 |
wenzelm |
removed unused conversions;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 18:12:58 +0200 |
wenzelm |
tuned header;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 18:11:00 +0200 |
wenzelm |
moved normarith.ML where it is actually used;
|
file |
diff |
annotate
| base
|