Wed, 04 May 2005 08:37:45 +0200 neqE applies even if the type is not one which partakes in linear arithmetic.
nipkow [Wed, 04 May 2005 08:37:45 +0200] rev 15922
neqE applies even if the type is not one which partakes in linear arithmetic. This lead to confusion. Now there are multiple type specific neqE.
Wed, 04 May 2005 08:36:10 +0200 Fixing a problem with lin.arith.
nipkow [Wed, 04 May 2005 08:36:10 +0200] rev 15921
Fixing a problem with lin.arith.
Tue, 03 May 2005 15:37:41 +0200 make mkdir usable with cygwin
haftmann [Tue, 03 May 2005 15:37:41 +0200] rev 15920
make mkdir usable with cygwin
Tue, 03 May 2005 14:27:21 +0200 Replaced reference to SPASS with general one - set SPASS_HOME in settings file.
quigley [Tue, 03 May 2005 14:27:21 +0200] rev 15919
Replaced reference to SPASS with general one - set SPASS_HOME in settings file. Rewrote res_clasimpset.ML. Now produces an array of (thm, clause) in addition to writing out clasimpset as tptp strings. C.Q.
Tue, 03 May 2005 10:33:31 +0200 final implementation of antiquotations styles
haftmann [Tue, 03 May 2005 10:33:31 +0200] rev 15918
final implementation of antiquotations styles
Tue, 03 May 2005 10:32:32 +0200 Added short description of thm_style and term_style antiquotation
haftmann [Tue, 03 May 2005 10:32:32 +0200] rev 15917
Added short description of thm_style and term_style antiquotation
Tue, 03 May 2005 10:25:30 +0200 *** empty log message ***
nipkow [Tue, 03 May 2005 10:25:30 +0200] rev 15916
*** empty log message ***
Tue, 03 May 2005 02:45:55 +0200 lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments.
dixon [Tue, 03 May 2005 02:45:55 +0200] rev 15915
lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments.
Tue, 03 May 2005 02:44:10 +0200 lucas - added dest_TVar and dest_TFree.
dixon [Tue, 03 May 2005 02:44:10 +0200] rev 15914
lucas - added dest_TVar and dest_TFree.
Mon, 02 May 2005 21:07:21 +0200 Removed nodup_vars avoiding hack
schirmer [Mon, 02 May 2005 21:07:21 +0200] rev 15913
Removed nodup_vars avoiding hack
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip