| Thu, 19 Apr 2012 11:10:03 +0200 | blanchet | use latest SPASS | changeset | files |
| Thu, 19 Apr 2012 11:00:12 +0200 | blanchet | doc update | changeset | files |
| Thu, 19 Apr 2012 10:16:51 +0200 | haftmann | dropped dead code; | changeset | files |
| Thu, 19 Apr 2012 08:45:13 +0200 | huffman | generate abs_induct rules for quotient types | changeset | files |
| Thu, 19 Apr 2012 09:58:54 +0200 | haftmann | tuned | changeset | files |
| Thu, 19 Apr 2012 09:45:49 +0200 | haftmann | corrected Nbe.static_value: ignore cached compilations; | changeset | files |
| Thu, 19 Apr 2012 09:31:36 +0200 | haftmann | tuned heading | changeset | files |