| Sat, 18 Jul 2015 20:54:56 +0200 |
wenzelm |
prefer tactics with explicit context;
|
file |
diff |
annotate
|
| Fri, 21 Mar 2014 20:33:56 +0100 |
wenzelm |
more qualified names;
|
file |
diff |
annotate
|
| Sat, 14 May 2011 11:42:43 +0200 |
wenzelm |
modernized functor names;
|
file |
diff |
annotate
|
| Sat, 26 Mar 2011 19:16:20 +0100 |
wenzelm |
more direct loose_bvar1;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
tuned titles
|
file |
diff |
annotate
|
| Wed, 05 May 2010 18:25:34 +0200 |
haftmann |
farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 12:01:25 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Wed, 07 May 2008 10:59:45 +0200 |
berghofe |
Replaced Pattern.eta_contract_atom by Envir.eta_contract.
|
file |
diff |
annotate
|
| Tue, 22 Jul 1997 11:12:55 +0200 |
paulson |
Removal of the tactical STATE
|
file |
diff |
annotate
|
| Wed, 05 Mar 1997 10:08:32 +0100 |
paulson |
Now uses eta_contract_atom for greater speed
|
file |
diff |
annotate
|
| Mon, 29 Jan 1996 13:58:15 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Fri, 07 Apr 1995 10:12:01 +0200 |
lcp |
Local version of (original) hypsubst: needs no simplifier
|
file |
diff |
annotate
|