| Sun, 10 Mar 2013 14:36:18 +0100 | nipkow | merged | changeset | files |
| Sun, 10 Mar 2013 14:36:03 +0100 | nipkow | stepwise instantiation is more modular | changeset | files |
| 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 |