| Sun, 16 Aug 2015 17:11:31 +0200 | wenzelm | separate type theory_id; | changeset | files |
| Sun, 16 Aug 2015 15:36:06 +0200 | wenzelm | delete precisely the added rules; | changeset | files |
| Sun, 16 Aug 2015 14:48:37 +0200 | wenzelm | clarified context; | changeset | files |
| Sun, 16 Aug 2015 11:55:21 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 16 Aug 2015 11:46:08 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 16 Aug 2015 11:29:06 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Aug 2015 23:10:13 +0200 | wenzelm | tuned whitespace; | changeset | files |