2002-03-14 paulson 2002-03-14 converted theory "set" to Isar and added some SET-VAR examples
2002-03-14 kleing 2002-03-14 increased treshold for "this expression could be extremely ambigous" warning
2002-03-12 kleing 2002-03-12 workaround for "ins" bug in sml/nj + code generator
2002-03-12 nipkow 2002-03-12 *** empty log message ***
2002-03-11 wenzelm 2002-03-11 added Berhard Rumpe, Farhad Mehta;
2002-03-10 wenzelm 2002-03-10 tuned;
2002-03-09 kleing 2002-03-09 canonical start state
2002-03-09 kleing 2002-03-09 in wellformed programs, exceptions are classes
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-08 wenzelm 2002-03-08 tuned; Isabelle2002
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-08 wenzelm 2002-03-08 removed Stanford mirror;
2002-03-08 wenzelm 2002-03-08 drop Stanford mirror;
2002-03-08 paulson 2002-03-08 for rail v 1.2
2002-03-07 wenzelm 2002-03-07 renamed nat_number_of to nat_number (avoid clash with separate theorem);
2002-03-07 wenzelm 2002-03-07 tuned;
2002-03-07 wenzelm 2002-03-07 *** empty log message ***
2002-03-07 wenzelm 2002-03-07 tuned;
2002-03-07 wenzelm 2002-03-07 tuned;
2002-03-07 berghofe 2002-03-07 - made modes_of more robust - assoc_code now has higher priority than inductive_codegen
2002-03-06 wenzelm 2002-03-06 val stdErr = std_out (std_err is unavaliable in polyml-3.x);
2002-03-06 wenzelm 2002-03-06 tuned;
2002-03-06 wenzelm 2002-03-06 tuned;
2002-03-06 wenzelm 2002-03-06 tuned;
2002-03-06 wenzelm 2002-03-06 added session_graph;
2002-03-06 wenzelm 2002-03-06 added two_is_prime;
2002-03-06 wenzelm 2002-03-06 tuned;
2002-03-06 wenzelm 2002-03-06 moved to Hyperreal-ex;
2002-03-06 wenzelm 2002-03-06 added HOL-Hyperreal-ex;
2002-03-06 wenzelm 2002-03-06 tuned;
2002-03-06 wenzelm 2002-03-06 some more stuff; tuned;
2002-03-05 wenzelm 2002-03-05 iff: conditional rules declared as ``unsafe'';
2002-03-05 wenzelm 2002-03-05 tuned;
2002-03-05 wenzelm 2002-03-05 more stuff;
2002-03-05 berghofe 2002-03-05 Added two paragraphs on "rules" method and code generator.
2002-03-05 prensani 2002-03-05 New order in the loading of theories (Quote-antiquote right before the OG_Syntax and RG_Syntax respectively)
2002-03-05 prensani 2002-03-05 Adding root.tex for HoareParallel
2002-03-05 prensani 2002-03-05 HoareParallel Theories
2002-03-05 prensani 2002-03-05 Target HoareParallel in IsaMakefile
2002-03-04 wenzelm 2002-03-04 isatool usedir -D generated Foo && isatool document Foo/generated;
2002-03-04 wenzelm 2002-03-04 'using' primitive;
2002-03-04 wenzelm 2002-03-04 tuned;
2002-03-04 wenzelm 2002-03-04 tuned;
2002-03-04 wenzelm 2002-03-04 records from logics-HOL; improved typedef; tuned;
2002-03-04 wenzelm 2002-03-04 improved ``deriving rules'';
2002-03-04 wenzelm 2002-03-04 hide SVC stuff (outdated); moved records to isar-ref;
2002-03-04 wenzelm 2002-03-04 \SHOWS;
2002-03-04 wenzelm 2002-03-04 tuned;
2002-03-04 berghofe 2002-03-04 Tuned some references to LNCS volumes.
2002-03-04 berghofe 2002-03-04 Added some examples to section on executable specifications.
2002-03-03 kleing 2002-03-03 MicroJava news
2002-03-03 kleing 2002-03-03 symbolized
2002-03-02 wenzelm 2002-03-02 proper handling of interrupts;
2002-03-02 wenzelm 2002-03-02 temporarily disabled HoareParallel target;
2002-03-01 wenzelm 2002-03-01 clarified outer syntax;
2002-03-01 wenzelm 2002-03-01 option -S 180;
2002-03-01 wenzelm 2002-03-01 clarified -l option; tuned;
2002-03-01 wenzelm 2002-03-01 structure Typtab; clarified typ_ord; clarified compress_type;
2002-03-01 wenzelm 2002-03-01 tuned;