Sat, 16 Oct 2010 21:23:34 +0100 wenzelm more robust treatment of symbolic indentifiers (which may contain colons);
Sat, 16 Oct 2010 20:27:35 +0100 wenzelm more examples;
Sat, 16 Oct 2010 20:02:11 +0100 wenzelm tuned;
Sat, 16 Oct 2010 11:34:46 +0100 wenzelm more on "Exceptions";
Fri, 15 Oct 2010 22:26:25 +0100 wenzelm more on "Exceptions";
Fri, 15 Oct 2010 20:36:52 +0100 wenzelm more examples;
Fri, 15 Oct 2010 20:22:56 +0100 wenzelm tuned chapter arrangement;
Fri, 15 Oct 2010 19:54:34 +0100 wenzelm more examples;
Fri, 15 Oct 2010 19:19:41 +0100 wenzelm moved bind_thm(s) to implementation manual;
Thu, 14 Oct 2010 21:55:21 +0100 wenzelm more on "Attributes";
Thu, 14 Oct 2010 21:05:21 +0100 wenzelm misc tuning and clarification;
Wed, 13 Oct 2010 21:57:21 +0100 wenzelm more on "Proof methods";
Wed, 13 Oct 2010 13:05:23 +0100 wenzelm examples in Isabelle/HOL;
Wed, 13 Oct 2010 11:15:15 +0100 wenzelm more on Proof.theorem;
Wed, 13 Oct 2010 10:52:15 +0100 wenzelm tuned;
Tue, 12 Oct 2010 21:18:05 +0100 wenzelm more examples;
Tue, 12 Oct 2010 20:03:31 +0100 wenzelm more on "Isar language elements";
Mon, 11 Oct 2010 21:42:37 +0100 wenzelm more examples;
Mon, 11 Oct 2010 21:10:50 +0100 wenzelm more refs;
Mon, 11 Oct 2010 21:05:01 +0100 wenzelm misc tuning;
Sun, 10 Oct 2010 20:49:25 +0100 wenzelm removed some obsolete reference material;
Sun, 10 Oct 2010 20:42:10 +0100 wenzelm cover some more theory operations;
Sun, 10 Oct 2010 20:12:10 +0100 wenzelm note on Isabelle file specifications;
Sun, 10 Oct 2010 19:49:18 +0100 wenzelm modernized version of "Message output channels";
Sun, 10 Oct 2010 18:09:25 +0100 wenzelm removed some really old reference material;
Sat, 09 Oct 2010 21:18:20 +0100 wenzelm more examples;
Sat, 09 Oct 2010 21:04:03 +0100 wenzelm various concrete ML antiquotations;
Sat, 09 Oct 2010 19:49:19 +0100 wenzelm prefer checked antiquotations;
Sat, 09 Oct 2010 19:05:31 +0100 wenzelm clarified tag markup;
Fri, 08 Oct 2010 21:49:16 +0100 wenzelm more on ML antiquotations;
Fri, 08 Oct 2010 21:11:56 +0100 wenzelm keep normal size for %mlref tag;
Fri, 08 Oct 2010 20:59:01 +0100 wenzelm basic setup for ML antiquotations -- with rail diagrams;
Fri, 08 Oct 2010 18:05:35 +0100 wenzelm eliminated "Toplevel control", which belongs to TTY/ProofGeneral model;
Fri, 08 Oct 2010 17:41:51 +0100 wenzelm eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX);
Fri, 08 Oct 2010 16:50:01 +0100 wenzelm misc tuning;
Thu, 07 Oct 2010 21:24:18 +0100 wenzelm more on Isabelle/ML;
Thu, 07 Oct 2010 19:05:42 +0100 wenzelm basic setup for Chapter 0: Isabelle/ML;
Thu, 07 Oct 2010 12:39:01 +0100 wenzelm minor tuning and updating;
Fri, 01 Oct 2010 17:23:26 +0200 wenzelm made SML/NJ happy;
Fri, 01 Oct 2010 16:44:13 +0200 wenzelm merged
Fri, 01 Oct 2010 14:15:49 +0200 haftmann use module integer for Eval
Fri, 01 Oct 2010 11:46:09 +0200 haftmann check whole target hierarchy for existing reserved symbols
Fri, 01 Oct 2010 11:46:09 +0200 haftmann added polyml_as_definition -- using external SML files as substitute for proper definitions -- only for polyml!
Fri, 01 Oct 2010 15:11:15 +0200 wenzelm tuned default "Prover Session" perspective;
Fri, 01 Oct 2010 14:47:46 +0200 wenzelm eliminated ancient OldTerm.term_frees;
Fri, 01 Oct 2010 14:27:51 +0200 wenzelm more antiquotations;
Fri, 01 Oct 2010 13:36:35 +0200 wenzelm simplified outer syntax setup;
Fri, 01 Oct 2010 10:25:36 +0200 haftmann chop_while replace drop_while and take_while
Fri, 01 Oct 2010 08:25:23 +0200 haftmann merged
Thu, 30 Sep 2010 18:37:29 +0200 haftmann take_while, drop_while
Thu, 30 Sep 2010 18:46:19 -0700 huffman rename cont2cont_split to cont2cont_prod_case; add lemmas prod_contI, prod_cont_iff; simplify some proofs
Thu, 30 Sep 2010 17:06:25 -0700 huffman fixrec: rename match_cpair to match_Pair
Wed, 15 Sep 2010 13:26:21 -0700 huffman remove code for obsolete 'fixpat' command
Wed, 15 Sep 2010 12:54:17 -0700 huffman clean up definition of compile_pat function
Wed, 15 Sep 2010 10:34:39 -0700 huffman rename some fixrec pattern-match compilation functions
Thu, 30 Sep 2010 15:37:12 +0200 bulwahn adding example for case expressions
Thu, 30 Sep 2010 15:37:11 +0200 bulwahn applying case beta reduction to case term before matching in predicate compile function flattening; moving case beta reduction function to Predicate_Compile_Aux
Thu, 30 Sep 2010 11:52:22 +0200 bulwahn merged
Thu, 30 Sep 2010 10:48:12 +0200 bulwahn adapting manual configuration in examples
Thu, 30 Sep 2010 10:48:12 +0200 bulwahn finding the counterexample with different options (manually limited precisely, manually limited global, automatically limited global)
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip