1997-12-28 wenzelm 1997-12-28 replaced symtab.ML by table.ML;
1997-12-28 wenzelm 1997-12-28 renamed (is_)null to (is_)empty; renamed DUPLICATE to DUP; renamed extend_new to extend;
1997-12-27 wenzelm 1997-12-27 Generic tables (lacking delete operation). Implemented as 2-3 trees.
1997-12-24 wenzelm 1997-12-24 tuned;
1997-12-24 wenzelm 1997-12-24 export range_type;
1997-12-24 wenzelm 1997-12-24 improved comment;
1997-12-24 paulson 1997-12-24 More restrictive patterns to prevent changing comments
1997-12-24 paulson 1997-12-24 New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-12-23 paulson 1997-12-23 Tidied using rev_iffD1
1997-12-23 paulson 1997-12-23 Now Blast_tac works properly
1997-12-23 paulson 1997-12-23 Tidied. Also better proof using new blast_tac
1997-12-23 paulson 1997-12-23 Decremented subscript because of change to iffD1
1997-12-23 paulson 1997-12-23 Tidied using rev_iffD1, etc
1997-12-23 paulson 1997-12-23 Tidied using rev_iffD1
1997-12-23 paulson 1997-12-23 Tidied using more default rules
1997-12-23 paulson 1997-12-23 Overloading info for image
1997-12-23 paulson 1997-12-23 tidied
1997-12-23 paulson 1997-12-23 New rules rev_iffD{1,2}
1997-12-23 paulson 1997-12-23 Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
1997-12-23 paulson 1997-12-23 New "obvious theorems"
1997-12-22 paulson 1997-12-22 Added range-type for completeness
1997-12-22 paulson 1997-12-22 New example
1997-12-22 paulson 1997-12-22 New rules rev_iffD{1,2}
1997-12-19 oheimb 1997-12-19 corrected removal to /tmp/tmp.c
1997-12-19 oheimb 1997-12-19 added removal to /tmp/tmp.txt
1997-12-19 narasche 1997-12-19 records without signature
1997-12-19 narasche 1997-12-19 remove signatrue from records
1997-12-19 wenzelm 1997-12-19 tuned;
1997-12-19 wenzelm 1997-12-19 new version;
1997-12-19 wenzelm 1997-12-19 added record.ML;
1997-12-19 narasche 1997-12-19 first version of records
1997-12-19 wenzelm 1997-12-19 pasted old insertion sort (does not work with new sort function!)
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-19 wenzelm 1997-12-19 log file; elapsed time;
1997-12-19 wenzelm 1997-12-19 leading 0s;
1997-12-19 wenzelm 1997-12-19 tuned;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-19 wenzelm 1997-12-19 log files; 'clean' target;
1997-12-19 wenzelm 1997-12-19 tuned;
1997-12-19 wenzelm 1997-12-19 added rev_order, make_ord; reimplemented sort function: stable version of quicksort;
1997-12-19 wenzelm 1997-12-19 term order; signature;
1997-12-19 wenzelm 1997-12-19 term order stuff moved to term.ML;
1997-12-19 wenzelm 1997-12-19 log file; elapsed time;
1997-12-19 wenzelm 1997-12-19 'clean' target;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-19 wenzelm 1997-12-19 Term.termless;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-19 wenzelm 1997-12-19 removed maketest;
1997-12-18 wenzelm 1997-12-18 showtime - print time.
1997-12-18 oheimb 1997-12-18 added expand_split_asm
1997-12-18 paulson 1997-12-18 UNIV_I no longer counts as safe
1997-12-17 wenzelm 1997-12-17 tuned;
1997-12-17 wenzelm 1997-12-17 added mlworks;
1997-12-17 wenzelm 1997-12-17 added MLWorks;
1997-12-17 wenzelm 1997-12-17 misc improvements; stack_overflow_handler;
1997-12-17 wenzelm 1997-12-17 tuned tmp file name;
1997-12-17 wenzelm 1997-12-17 tuned comment;
1997-12-17 wenzelm 1997-12-17 added ML-Systems/mlworks.ML;
1997-12-16 wenzelm 1997-12-16 MLWorks startup script (for 1.0r2 or later).
1997-12-16 wenzelm 1997-12-16 renamed to mlworks.ML;