2000-09-03 paulson 2000-09-03 new reference girard89
2000-09-02 wenzelm 2000-09-02 Lambda/document/root.tex;
2000-09-02 wenzelm 2000-09-02 * HOL/Lambda: converted into new-style theory and document;
2000-09-02 wenzelm 2000-09-02 document setup;
2000-09-02 wenzelm 2000-09-02 updated;
2000-09-02 wenzelm 2000-09-02 HOL/Lambda: converted into new-style theory and document;
2000-09-02 wenzelm 2000-09-02 method_setup: thms closure;
2000-09-02 wenzelm 2000-09-02 added mode parser;
2000-09-02 wenzelm 2000-09-02 added get_thm_closure;
2000-09-02 wenzelm 2000-09-02 "split": added "(asm)" option;
2000-09-02 wenzelm 2000-09-02 added "slow";
2000-09-02 wenzelm 2000-09-02 added "slowsimp", "bestsimp";
2000-09-02 wenzelm 2000-09-02 "inductive_cases": proper command;
2000-09-02 wenzelm 2000-09-02 use Args.mode;
2000-09-02 wenzelm 2000-09-02 converted;
2000-09-02 wenzelm 2000-09-02 added 'iff del' att;
2000-09-02 wenzelm 2000-09-02 tuned rail;
2000-09-02 wenzelm 2000-09-02 'split' method: '(asm)' option; added 'slow', 'slowsimp', 'bestsimp' methods;
2000-09-02 wenzelm 2000-09-02 some stuff;
2000-09-02 wenzelm 2000-09-02 provide "--" argument: tentative release; tuned;
2000-09-02 wenzelm 2000-09-02 tuned;
2000-09-01 wenzelm 2000-09-01 copy_files: do not quote paths (for now);
2000-09-01 wenzelm 2000-09-01 fixed quoting;
2000-09-01 wenzelm 2000-09-01 isatool nonascii;
2000-09-01 nipkow 2000-09-01 *** empty log message ***
2000-09-01 nipkow 2000-09-01 Completely new version of BCV
2000-09-01 wenzelm 2000-09-01 ISABELLE_PATH: ML_IDENTIFIER no longer added; tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-09-01 wenzelm 2000-09-01 more robust handling of spaces in args / file names; tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names; tuned;
2000-09-01 wenzelm 2000-09-01 isatool_document: quote args;
2000-09-01 wenzelm 2000-09-01 export quote_sysify_path;
2000-09-01 wenzelm 2000-09-01 /usr/bin/perl;
2000-09-01 wenzelm 2000-09-01 cleanup dist sources afterwards; tmp version;
2000-09-01 wenzelm 2000-09-01 cvs-copy - make copy of CVS controlled directory hierarchy;
2000-09-01 wenzelm 2000-09-01 added 'safe' method; 'auto' method: optional parms;
2000-09-01 wenzelm 2000-09-01 Method.bang_sectioned_args';
2000-09-01 wenzelm 2000-09-01 replaced writeln by priority;
2000-09-01 wenzelm 2000-09-01 added bang_sectioned_args';
2000-09-01 wenzelm 2000-09-01 'declare' made proper command;
2000-09-01 wenzelm 2000-09-01 priority_fn := decorate_lines; replaced 'message' by 'priority';
2000-09-01 wenzelm 2000-09-01 added priority, priority_fn;
2000-09-01 wenzelm 2000-09-01 added "safe" method;
2000-09-01 wenzelm 2000-09-01 auto method: opt args; tuned;
2000-09-01 wenzelm 2000-09-01 converted Lambda scripts;
2000-09-01 wenzelm 2000-09-01 converted;
2000-09-01 wenzelm 2000-09-01 fixed rulify_prems;
2000-09-01 wenzelm 2000-09-01 lemmas [mono] = lists_mono;
2000-09-01 wenzelm 2000-09-01 updated;
2000-08-31 wenzelm 2000-08-31 fixed make_pp; basic interrupt handling;
2000-08-31 wenzelm 2000-08-31 improved exit function for polyml-4.0;
2000-08-31 kleing 2000-08-31 tuned
2000-08-31 nipkow 2000-08-31 *** empty log message ***
2000-08-31 wenzelm 2000-08-31 ported HOL/Lambda/ListBeta;
2000-08-31 wenzelm 2000-08-31 improved handling of messages: do not decorate writeln output;
2000-08-31 wenzelm 2000-08-31 improved messages;
2000-08-31 wenzelm 2000-08-31 more polyml choices; tuned;
2000-08-30 kleing 2000-08-30 added some bind_thm
2000-08-30 kleing 2000-08-30 functional LBV style, dead code, type safety -> Isar