| Sun, 16 Aug 2015 21:55:11 +0200 | wenzelm | produce certified vars without access to theory_of_thm, and without context; | changeset | files |
| Sun, 16 Aug 2015 20:25:12 +0200 | wenzelm | produce certified vars without access to theory_of_thm, and without context; | changeset | files |
| Sun, 16 Aug 2015 19:44:21 +0200 | wenzelm | tuned; | changeset | files |
| 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 |