| Fri, 16 Apr 1999 14:42:44 +0200 | wenzelm | added incr_indexes, incr_indexes_wrt; | changeset | files |
| Thu, 15 Apr 1999 18:10:49 +0200 | nipkow | Proof mod. | changeset | files |
| Thu, 15 Apr 1999 18:10:37 +0200 | nipkow | Added new thms. | changeset | files |
| Wed, 14 Apr 1999 19:07:39 +0200 | wenzelm | quiet_mode; | changeset | files |
| Wed, 14 Apr 1999 19:07:04 +0200 | wenzelm | Tools/inductive_package.ML; | changeset | files |
| Wed, 14 Apr 1999 19:05:28 +0200 | wenzelm | triple_swap; | changeset | files |
| Wed, 14 Apr 1999 19:05:10 +0200 | wenzelm | Wrapper module for Konrad Slind's TFL package. | changeset | files |
| Wed, 14 Apr 1999 18:55:29 +0200 | wenzelm | remoced old set_current_thy; | changeset | files |
| Wed, 14 Apr 1999 15:58:01 +0200 | wenzelm | tuned messages; | changeset | files |
| Wed, 14 Apr 1999 14:44:04 +0200 | wenzelm | intrs: names and atts; | changeset | files |
| Wed, 14 Apr 1999 14:42:53 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 14 Apr 1999 14:42:23 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 14 Apr 1999 14:41:01 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 14 Apr 1999 14:40:43 +0200 | wenzelm | intrs: provide names and atts; | changeset | files |