| Sun, 29 May 2016 14:43:17 +0200 | haftmann | do not export abstract constructors in code_reflect | changeset | files |
| Sun, 29 May 2016 14:10:48 +0200 | nipkow | added subtheory of longest common prefix | changeset | files |
| Fri, 27 May 2016 23:58:24 +0200 | wenzelm | tuned proofs; | changeset | files |