| Wed, 04 May 2005 18:50:21 +0200 |
berghofe |
Added eta_long_conversion.
|
changeset |
files
|
| Wed, 04 May 2005 10:44:53 +0200 |
paulson |
eta-expansion
|
changeset |
files
|
| Wed, 04 May 2005 10:42:43 +0200 |
nipkow |
fixed lin.arith
|
changeset |
files
|
| Wed, 04 May 2005 08:37:45 +0200 |
nipkow |
neqE applies even if the type is not one which partakes in linear arithmetic.
|
changeset |
files
|
| Wed, 04 May 2005 08:36:10 +0200 |
nipkow |
Fixing a problem with lin.arith.
|
changeset |
files
|
| Tue, 03 May 2005 15:37:41 +0200 |
haftmann |
make mkdir usable with cygwin
|
changeset |
files
|
| Tue, 03 May 2005 14:27:21 +0200 |
quigley |
Replaced reference to SPASS with general one - set SPASS_HOME in settings file.
|
changeset |
files
|
| Tue, 03 May 2005 10:33:31 +0200 |
haftmann |
final implementation of antiquotations styles
|
changeset |
files
|
| Tue, 03 May 2005 10:32:32 +0200 |
haftmann |
Added short description of thm_style and term_style antiquotation
|
changeset |
files
|
| Tue, 03 May 2005 10:25:30 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 03 May 2005 02:45:55 +0200 |
dixon |
lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments.
|
changeset |
files
|
| Tue, 03 May 2005 02:44:10 +0200 |
dixon |
lucas - added dest_TVar and dest_TFree.
|
changeset |
files
|
| Mon, 02 May 2005 21:07:21 +0200 |
schirmer |
Removed nodup_vars avoiding hack
|
changeset |
files
|
| Mon, 02 May 2005 19:00:05 +0200 |
nipkow |
fixed
|
changeset |
files
|
| Mon, 02 May 2005 18:59:50 +0200 |
nipkow |
turned 2 lemmas into simp rules
|
changeset |
files
|