| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:36:48 +0100 | wenzelm | CLASET'; | changeset | files |
| Mon, 03 Nov 1997 12:28:45 +0100 | wenzelm | moved cladata.ML, simpdata.ML to ROOT.ML; | changeset | files |
| Mon, 03 Nov 1997 12:28:14 +0100 | wenzelm | adapted to new implicit claset; | changeset | files |
| Mon, 03 Nov 1997 12:28:01 +0100 | wenzelm | adapted to new implicit simpset; | changeset | files |
| Mon, 03 Nov 1997 12:26:58 +0100 | wenzelm | added claset thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:26:45 +0100 | wenzelm | added simpset thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:24:13 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:22:43 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 12:12:10 +0100 | wenzelm | added thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:11:34 +0100 | wenzelm | use "hologic.ML"; use "cladata.ML"; use "simpdata.ML"; moved to ROOT.ML; | changeset | files |
| Mon, 03 Nov 1997 12:09:37 +0100 | wenzelm | adapted to new implicit simpset; | changeset | files |
| Mon, 03 Nov 1997 12:09:20 +0100 | wenzelm | adapted to new implicit claset; | changeset | files |
| Mon, 03 Nov 1997 12:07:13 +0100 | wenzelm | fixed thy dependencies; | changeset | files |
| Mon, 03 Nov 1997 12:05:42 +0100 | wenzelm | aded thy_data; | changeset | files |
| Mon, 03 Nov 1997 12:04:38 +0100 | wenzelm | HOL theory data. | changeset | files |
| Mon, 03 Nov 1997 12:03:13 +0100 | wenzelm | added thy_data.ML; | changeset | files |
| Mon, 03 Nov 1997 11:56:53 +0100 | wenzelm | new implicit simpset mechanism based on Sign.sg anytype data; | changeset | files |
| Mon, 03 Nov 1997 11:56:36 +0100 | wenzelm | new implicit claset mechanism based on Sign.sg anytype data; | changeset | files |
| Mon, 03 Nov 1997 11:56:17 +0100 | wenzelm | adapted to new implicit claset mechanism; | changeset | files |
| Mon, 03 Nov 1997 11:48:56 +0100 | wenzelm | fix references to implicit claset and simpset; | changeset | files |
| Mon, 03 Nov 1997 11:48:29 +0100 | wenzelm | do not overwrite backup files; | changeset | files |
| Mon, 03 Nov 1997 11:48:02 +0100 | wenzelm | set_session renamed to add_session; | changeset | files |
| Mon, 03 Nov 1997 11:46:42 +0100 | wenzelm | tuned error msg; | changeset | files |
| Mon, 03 Nov 1997 11:46:25 +0100 | wenzelm | made SML/97 happy; | changeset | files |
| Mon, 03 Nov 1997 09:58:06 +0100 | nipkow | expand_option_bind -> split_option_bind | changeset | files |
| Mon, 03 Nov 1997 09:57:35 +0100 | nipkow | expand_option_case -> split_option_case | changeset | files |
| Mon, 03 Nov 1997 08:16:35 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 03 Nov 1997 08:08:14 +0100 | nipkow | expand_list_case -> split_list_case | changeset | files |
| Sun, 02 Nov 1997 14:01:38 +0100 | nipkow | Indexed split_t_case. | changeset | files |
| Sun, 02 Nov 1997 13:47:58 +0100 | nipkow | Documented `split_t_case' thm genearted by datatype. | changeset | files |
| Sat, 01 Nov 1997 13:03:00 +0100 | paulson | Fixed comments | changeset | files |
| Sat, 01 Nov 1997 13:02:39 +0100 | paulson | New treatment of overloading\! | changeset | files |
| Sat, 01 Nov 1997 13:02:19 +0100 | paulson | New syntax function for types | changeset | files |
| Sat, 01 Nov 1997 13:01:57 +0100 | paulson | Faster lexing | changeset | files |
| Sat, 01 Nov 1997 13:01:07 +0100 | paulson | New way of referring to Basis Library | changeset | files |
| Sat, 01 Nov 1997 13:00:31 +0100 | paulson | mended type constraint\! | changeset | files |
| Sat, 01 Nov 1997 13:00:03 +0100 | paulson | Set.thy was too specific | changeset | files |
| Sat, 01 Nov 1997 12:59:06 +0100 | paulson | New Blast_tac (and minor tidying...) | changeset | files |
| Sat, 01 Nov 1997 12:58:08 +0100 | paulson | Auto update | changeset | files |
| Sat, 01 Nov 1997 12:57:01 +0100 | wenzelm | propagate exn msg; | changeset | files |
| Fri, 31 Oct 1997 15:28:01 +0100 | wenzelm | dup sections: warning instead of error; | changeset | files |
| Fri, 31 Oct 1997 15:21:59 +0100 | wenzelm | Session, Context; | changeset | files |
| Fri, 31 Oct 1997 15:21:32 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 31 Oct 1997 15:20:20 +0100 | wenzelm | added mixfix_args; | changeset | files |
| Fri, 31 Oct 1997 15:19:50 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 31 Oct 1997 15:15:06 +0100 | wenzelm | added str_of_sg: sg -> string; | changeset | files |
| Thu, 30 Oct 1997 17:05:20 +0100 | wenzelm | added mixfix_args; | changeset | files |
| Thu, 30 Oct 1997 17:04:54 +0100 | wenzelm | tuned thy_data; | changeset | files |
| Thu, 30 Oct 1997 17:01:50 +0100 | wenzelm | tuned init_data; | changeset | files |
| Thu, 30 Oct 1997 17:00:34 +0100 | wenzelm | added thy_data; | changeset | files |
| Thu, 30 Oct 1997 16:59:56 +0100 | wenzelm | added merge_opts: ('a * 'a -> 'a) -> 'a option * 'a option -> 'a option; | changeset | files |
| Thu, 30 Oct 1997 16:57:09 +0100 | nipkow | Modified trace output routines of simplifier. | changeset | files |
| Thu, 30 Oct 1997 14:19:17 +0100 | oheimb | domain package: | changeset | files |
| Thu, 30 Oct 1997 14:19:01 +0100 | oheimb | domain package: | changeset | files |
| Thu, 30 Oct 1997 14:18:14 +0100 | oheimb | domain package: | changeset | files |
| Thu, 30 Oct 1997 14:17:33 +0100 | oheimb | domain package: | changeset | files |
| Thu, 30 Oct 1997 11:43:32 +0100 | wenzelm | PureThy.add_store_defs_i, PureThy.add_store_axioms; | changeset | files |
| Thu, 30 Oct 1997 11:19:57 +0100 | wenzelm | fixed try_dest_adm; | changeset | files |