| Sun, 10 Mar 2013 11:21:16 +0100 | haftmann | generalized subclass relation; | changeset | files |
| Sun, 10 Mar 2013 10:10:01 +0100 | nipkow | termination proof for narrowing: fewer assumptions | changeset | files |
| Sat, 09 Mar 2013 18:22:20 +0100 | wenzelm | accomodate encrypted file-system on linux; | changeset | files |
| Sat, 09 Mar 2013 13:01:24 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 09 Mar 2013 11:56:01 +0100 | haftmann | discontinued theory src/HOL/Library/Eval_Witness -- assumptions do not longer hold in presence of abstract types | changeset | files |
| Fri, 08 Mar 2013 17:19:27 +0100 | wenzelm | updated keywords (cf. 84d01fd733cf); | changeset | files |
| Fri, 08 Mar 2013 14:15:39 +0100 | blanchet | proper type inference for default values | changeset | files |
| Fri, 08 Mar 2013 13:21:58 +0100 | kuncar | convert mappings to parametric lifting | changeset | files |