| Sat, 28 May 2016 23:55:41 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 May 2016 21:38:58 +0200 | wenzelm | clarified 'axiomatization'; | changeset | files |
| Sat, 28 May 2016 17:35:12 +0200 | wenzelm | clarified axiomatization; | changeset | files |
| Sat, 28 May 2016 17:34:28 +0200 | wenzelm | clarified axiomatization: proper variables (!); | changeset | files |
| Sun, 29 May 2016 14:43:18 +0200 | haftmann | explicit check that abstract constructors cannot be part of official interface | changeset | files |
| 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 |