Mon, 16 Dec 1996 10:35:51 +0100 wenzelm SML/NJ startup script (for 0.93).
Mon, 16 Dec 1996 10:35:01 +0100 wenzelm fixed \<subseteq> input;
Mon, 16 Dec 1996 10:29:30 +0100 wenzelm SML/NJ startup script (for 0.93).
Mon, 16 Dec 1996 10:28:50 +0100 wenzelm added smlnj-0.93;
Mon, 16 Dec 1996 10:05:16 +0100 wenzelm Compatibility file for Standard ML of New Jersey, version 1.07.
Mon, 16 Dec 1996 10:04:45 +0100 wenzelm added needs_filtered_use;
Mon, 16 Dec 1996 10:04:12 +0100 wenzelm added write_charnames';
Mon, 16 Dec 1996 10:03:30 +0100 wenzelm now uses SymbolInput.use;
Mon, 16 Dec 1996 10:02:48 +0100 wenzelm symbol_input.ML: Defines 'use' command with symbol input filtering.
Mon, 16 Dec 1996 10:02:17 +0100 wenzelm added symbol_input.ML;
Mon, 16 Dec 1996 10:01:40 +0100 wenzelm fixed comment;
Mon, 16 Dec 1996 10:01:17 +0100 wenzelm fixed comments;
Mon, 16 Dec 1996 10:00:08 +0100 wenzelm now passes ML_SYSTEM as ml_system;
Mon, 16 Dec 1996 09:59:18 +0100 wenzelm added symbolinput filter;
Mon, 16 Dec 1996 09:58:16 +0100 wenzelm symbolinput - translate symbols into \<...> sequences;
Mon, 16 Dec 1996 09:57:34 +0100 wenzelm renamed to symbolinput.pl;
Mon, 16 Dec 1996 09:57:18 +0100 wenzelm renamed from symbol_input.pl;
Mon, 16 Dec 1996 09:56:28 +0100 wenzelm minor tuning;
Mon, 16 Dec 1996 09:53:30 +0100 wenzelm now fails if getsettings not found;
Fri, 13 Dec 1996 18:45:58 +0100 oheimb adaptions for symbol font
Fri, 13 Dec 1996 18:40:50 +0100 oheimb adaptions for symbol font
Fri, 13 Dec 1996 18:32:07 +0100 oheimb minor adaptions
Fri, 13 Dec 1996 18:25:45 +0100 oheimb added header
Fri, 13 Dec 1996 17:50:04 +0100 wenzelm now also loads etc/isa-settings.el;
Fri, 13 Dec 1996 17:48:03 +0100 wenzelm now discgarb called only for changed databases;
Fri, 13 Dec 1996 17:42:36 +0100 wenzelm added set inclusion symbol syntax;
Fri, 13 Dec 1996 17:38:56 +0100 wenzelm added warning for unprintable chars in strings;
Fri, 13 Dec 1996 17:38:17 +0100 wenzelm fixed warning;
Fri, 13 Dec 1996 17:37:42 +0100 wenzelm added typed print translations;
Fri, 13 Dec 1996 17:37:11 +0100 wenzelm removed chartrans_of;
Fri, 13 Dec 1996 17:34:32 +0100 wenzelm added extend_trfunsT;
Fri, 13 Dec 1996 17:30:28 +0100 wenzelm added fix_tr', syn_ext_trfunsT;
Fri, 13 Dec 1996 17:29:22 +0100 wenzelm binder_tr': applied fix_tr';
Fri, 13 Dec 1996 12:01:26 +0100 sandnerr Dummy change to document the change in revision 1.5:
Fri, 13 Dec 1996 11:46:20 +0100 sandnerr ex/Hoare.thy
Fri, 13 Dec 1996 11:00:44 +0100 paulson Removed needless quotation marks
Fri, 13 Dec 1996 10:57:50 +0100 paulson Streamlined many proofs
Fri, 13 Dec 1996 10:42:58 +0100 paulson Temporary additions (random) for the nested Otway-Rees protocol
Fri, 13 Dec 1996 10:20:55 +0100 paulson Streamlined some proofs
Fri, 13 Dec 1996 10:18:48 +0100 paulson Streamlined many proofs
Fri, 13 Dec 1996 10:17:35 +0100 paulson Addition of the Hash constructor
Tue, 10 Dec 1996 15:13:53 +0100 wenzelm fixed alternative quantifier symbol syntax;
Tue, 10 Dec 1996 15:08:57 +0100 paulson Now target "test" builds and tests TFL
Tue, 10 Dec 1996 15:07:43 +0100 paulson ROOT file for TFL (needed for use_dir to work)
Tue, 10 Dec 1996 14:16:11 +0100 wenzelm removed ambiguous symbols syntax;
Tue, 10 Dec 1996 14:09:32 +0100 wenzelm fixed pris of binder syntax;
Tue, 10 Dec 1996 13:03:44 +0100 wenzelm fixed pris of binder syntax;
Tue, 10 Dec 1996 13:02:02 +0100 wenzelm added chartrans;
Tue, 10 Dec 1996 13:00:52 +0100 wenzelm added chartrans_of;
Tue, 10 Dec 1996 12:56:33 +0100 wenzelm mfix_to_xprod: now uses read_charnames;
Tue, 10 Dec 1996 12:55:37 +0100 wenzelm tokenize: no gets exploded char list;
Tue, 10 Dec 1996 12:55:00 +0100 wenzelm added read_charnames, write_charnames;
Tue, 10 Dec 1996 12:51:06 +0100 wenzelm *** empty log message ***
Tue, 10 Dec 1996 12:50:35 +0100 wenzelm syntax section: added 'output' mode option;
Tue, 10 Dec 1996 12:49:02 +0100 wenzelm add_modesyntax(_i): added 'inout' argument;
Tue, 10 Dec 1996 12:17:11 +0100 wenzelm symbol_input.pl - translate symbols into \<...> sequences.
Mon, 09 Dec 1996 19:27:07 +0100 sandnerr Headers added
Mon, 09 Dec 1996 19:16:20 +0100 sandnerr Theories Lift1, Lift2 and Lift3 inserted below HOLCF.thy
Mon, 09 Dec 1996 19:13:13 +0100 sandnerr simpset extension moved from HOLCF.ML to One.ML and Tr2.ML
Mon, 09 Dec 1996 19:11:11 +0100 sandnerr added theorems
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip