| 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 |
| Sat, 24 Oct 2009 17:49:44 +0200 | wenzelm | markup for formal entities, with "def" or "ref" occurrences; | changeset | files |
| Sat, 24 Oct 2009 17:47:53 +0200 | wenzelm | handle Sorts.CLASS_ERROR instead of arbitrary exceptions; | changeset | files |
| Fri, 23 Oct 2009 20:48:14 +0200 | wenzelm | reactivated isatest on macbroy6 -- 3h later to avoid overlap with backup daemon; | changeset | files |
| Fri, 23 Oct 2009 17:12:47 +0200 | haftmann | merged | changeset | files |
| Fri, 23 Oct 2009 17:12:36 +0200 | haftmann | turned off old quickcheck | changeset | files |