Tue, 22 Nov 2016 18:36:59 +0100 | nipkow | added lemma | changeset | files |
Tue, 22 Nov 2016 16:22:05 +0100 | nipkow | added simp rule | changeset | files |
Tue, 15 Nov 2016 17:39:40 +0100 | blanchet | generalized experimental feature slightly | changeset | files |
Tue, 08 Nov 2016 13:03:54 +0100 | nipkow | provided more efficient interface | changeset | files |
Fri, 04 Nov 2016 13:27:31 +0100 | wenzelm | back to stable scala-2.11.8; | changeset | files |
Thu, 03 Nov 2016 17:51:10 +0100 | wenzelm | updated to scala-2.12.0; | changeset | files |
Thu, 03 Nov 2016 08:10:56 +0100 | nipkow | tuned | changeset | files |