| Sun, 16 Aug 2015 19:25:08 +0200 | wenzelm | added Thm.chyps_of; | changeset | files |
| Sun, 16 Aug 2015 18:19:30 +0200 | wenzelm | prefer theory_id operations; | changeset | files |
| 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 |
| Sat, 15 Aug 2015 22:47:03 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 15 Aug 2015 20:27:23 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 15 Aug 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |
| Sat, 15 Aug 2015 19:42:35 +0200 | wenzelm | clarified context; | changeset | files |
| Sat, 15 Aug 2015 19:11:11 +0200 | wenzelm | tuned GUI; | changeset | files |