Isabelle.exe
| author |
Walther Neuper <neuper@ist.tugraz.at> |
|
Thu, 30 Dec 2010 14:24:43 +0100 |
| branch | decompose-isar |
| changeset 38081 |
89480ba7be8d |
| parent 31921 |
f39825f8bfd3
|
| permissions |
-rwxr-xr-x |
analysed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
this error is caused in test/../polyminus
by wrong input data to me, autoCalculate, and NOT by bugs in me,
because me work in test/../integrate.sml and test/../diff.sml,
the latter checked in this changeset.
the error probably occurs in all expls with simplify.