| Thu, 05 Jul 2012 13:35:46 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Jul 2012 13:24:09 +0200 | haftmann | Stub theory for division on functionals. | changeset | files |
| Thu, 05 Jul 2012 13:33:53 +0200 | wenzelm | slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*); | changeset | files |
| Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | more precise cover | changeset | files |
| Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | don't generate any type class axioms for free types for monomorphic encodings | changeset | files |
| Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | update docs | changeset | files |
| Wed, 04 Jul 2012 13:08:44 +0200 | blanchet | tuning | changeset | files |