| Mon, 26 Jul 2010 11:10:36 +0200 | haftmann | corrected range check once more | changeset | files |
| Mon, 26 Jul 2010 11:10:35 +0200 | haftmann | added Code_Natural.thy | changeset | files |
| Mon, 26 Jul 2010 11:09:45 +0200 | haftmann | reactivated Scala check; tuned import order | changeset | files |
| Mon, 26 Jul 2010 11:09:45 +0200 | haftmann | reactivated Scala check | changeset | files |
| Mon, 26 Jul 2010 11:09:44 +0200 | haftmann | modified namespace policy | changeset | files |
| Mon, 26 Jul 2010 11:09:44 +0200 | haftmann | use Natural as index type for Haskell and Scala | changeset | files |
| Sun, 25 Jul 2010 15:43:53 +0200 | blanchet | merged | changeset | files |
| Fri, 23 Jul 2010 21:29:29 +0200 | blanchet | keep track of clause numbers for SPASS now that we generate FOF rather than CNF problems; | changeset | files |