| 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 |
| Fri, 27 May 2016 23:35:13 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | changeset | files |
| Fri, 27 May 2016 20:13:06 +0200 | wenzelm | clarified "unfold" operations; | changeset | files |
| Fri, 27 May 2016 12:53:14 +0200 | wenzelm | tuned proof; | changeset | files |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Thu, 26 May 2016 16:57:14 +0200 | wenzelm | tuned spelling; | changeset | files |