| Fri, 16 Apr 1999 14:49:34 +0200 | wenzelm | added Tools/induct_method.ML; | changeset | files |
| Fri, 16 Apr 1999 14:49:09 +0200 | wenzelm | 'HOL/recdef' theory data; | changeset | files |
| Fri, 16 Apr 1999 14:49:06 +0200 | wenzelm | 'HOL/recdef' theory data; | changeset | files |
| Fri, 16 Apr 1999 14:48:16 +0200 | wenzelm | 'HOL/inductive' theory data; | changeset | files |
| Fri, 16 Apr 1999 14:43:26 +0200 | wenzelm | Sign.base_name fid; | changeset | files |
| 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 |
| Wed, 14 Apr 1999 11:32:50 +0200 | wenzelm | cleaned comments; | changeset | files |
| Wed, 14 Apr 1999 11:24:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Apr 1999 11:17:16 +0200 | wenzelm | fixed named type infixes (actual BUG!); | changeset | files |
| Tue, 13 Apr 1999 12:39:35 +0200 | wenzelm | updated isatool install; | changeset | files |
| Tue, 13 Apr 1999 12:36:11 +0200 | wenzelm | -p option; | changeset | files |
| Tue, 13 Apr 1999 12:35:28 +0200 | wenzelm | adapted isatool install; | changeset | files |
| Tue, 13 Apr 1999 12:35:11 +0200 | wenzelm | improved isatool install; | changeset | files |
| Tue, 13 Apr 1999 10:34:30 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 12 Apr 1999 16:20:04 +0200 | wenzelm | ML_PLATFORM; | changeset | files |
| Mon, 12 Apr 1999 15:52:48 +0200 | wenzelm | ML_PLATFORM; | changeset | files |
| Wed, 07 Apr 1999 15:43:16 +0200 | wenzelm | fixed @@; | changeset | files |