[Date Prev][Date Next] [Chronological] [Thread] [Top]

RE[mizar] LPREM,RELINFER and 603,604,*605

To: mizar-forum@mizar.uwb.edu.pl
Subject: RE[mizar] LPREM,RELINFER and *603,*604,*605
From: rk1 <rkam2001@hotmail.com>
Date: Sat, 29 Dec 2007 23:25:46 -0800 (PST)

When I run RELPREM and RELINFER, I get a lot of *603, *604, and *605 errors
in my file, but removing the indicated labels or statements causes my proofs
to break.  Is this normal?
-- 
View this message in context: http://www.nabble.com/RELPREM%2CRELINFER-and-*603%2C*604%2C*605-tp14544828p14544828.html
Sent from the Mizar mailing list archive at Nabble.com.

Follow-Ups:
- Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
  - From: Adam Naumowicz <adamn@math.uwb.edu.pl>

Prev by Date: Re: [mizar] Mizar 7.8.07 accepts an incorrect inference?
Next by Date: Re: RE[mizar] LPREM,RELINFER and *603,*604,*605
Index(es):
- Chronological
- Thread