| Sat, 24 Oct 2009 19:04:57 +0200 | wenzelm | maintain abstract entry, with position, identity etc.; | changeset | files |
| Sat, 24 Oct 2009 18:55:47 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 24 Oct 2009 18:55:27 +0200 | wenzelm | import theory Nat here, which avoids duplicate definition of datatype_realizers (and thus allows to maintain fully authentic fact table); | changeset | files |