2012-02-17 wenzelm 2012-02-17 simplified configuration options for syntax ambiguity;
2012-02-17 wenzelm 2012-02-17 retain default of Syntax.ambiguity, according to 2bd54d4b5f3d (despite earlier versions);
2012-02-16 wenzelm 2012-02-16 more antiquotations;
2012-02-16 wenzelm 2012-02-16 more symbols; misc tuning;
2012-02-16 wenzelm 2012-02-16 tuned imports;
2012-02-16 wenzelm 2012-02-16 tuned proofs;
2012-02-16 wenzelm 2012-02-16 simplified configuration options for syntax ambiguity;
2012-02-16 wenzelm 2012-02-16 merged
2012-02-16 bulwahn 2012-02-16 removing unnecessary premise from diff_single_insert
2012-02-16 wenzelm 2012-02-16 explicit is better than implicit;
2012-02-16 wenzelm 2012-02-16 more uniform / portable representation of the idea of "copy_dir" (NB: cp -f dereferences symlinks on GNU/Linux, but does not on old-school Unixen including BSD/Mac OS X);
2012-02-16 bulwahn 2012-02-16 simplifying proof
2012-02-16 bulwahn 2012-02-16 removing unnecessary premises in theorems of List theory
2012-02-16 bulwahn 2012-02-16 tuning mutabelle script
2012-02-16 bulwahn 2012-02-16 adding documentation for abort_potential option in quickcheck
2012-02-15 wenzelm 2012-02-15 renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic;
2012-02-15 wenzelm 2012-02-15 discontinued Drule.term_rule, which tends to cause confusion due to builtin cterm_of (NB: the standard morphisms already provide a separate term component);
2012-02-15 wenzelm 2012-02-15 uniform Isar source formatting for this file;
2012-02-15 wenzelm 2012-02-15 clarified outer syntax "constdecl", which is only local to some rail diagrams;
2012-02-15 wenzelm 2012-02-15 discontinued obsolete "prems" fact;
2012-02-15 wenzelm 2012-02-15 eliminated slightly odd / obsolete DETERM_UNTIL, DETERM_UNTIL_SOLVED (cf. 941afb897532, ea0668a1c0ba);
2012-02-15 wenzelm 2012-02-15 removed obsolete files;
2012-02-15 wenzelm 2012-02-15 more basic simplification, eliminated slightly odd tactic style from 1995 (cf. ea0668a1c0ba);
2012-02-15 wenzelm 2012-02-15 removed dead code;
2012-02-15 wenzelm 2012-02-15 updated listrel (cf. 80dccedd6c14);
2012-02-15 wenzelm 2012-02-15 removed redundant cut_inst_tac -- already covered in implementation manual;
2012-02-15 wenzelm 2012-02-15 updated rewrite_goals_rule, rewrite_rule;
2012-02-15 wenzelm 2012-02-15 NEWS;
2012-02-15 wenzelm 2012-02-15 updated refs;
2012-02-15 wenzelm 2012-02-15 renamed "xstr" to "str_token";
2012-02-14 wenzelm 2012-02-14 merged
2012-02-14 blanchet 2012-02-14 don't report spurious LEO-II errors
2012-02-14 blanchet 2012-02-14 better error message
2012-02-14 bulwahn 2012-02-14 removing debug code in mutabelle
2012-02-14 bulwahn 2012-02-14 adding abort_potential functionality in quickcheck
2012-02-14 bulwahn 2012-02-14 adding abort_potential configuration in Quickcheck
2012-02-14 wenzelm 2012-02-14 clarified bires_inst_tac: retain internal exceptions;
2012-02-14 wenzelm 2012-02-14 tuned signature;
2012-02-14 wenzelm 2012-02-14 more conventional tactic setup -- avoid low-level Thm.dest_state and spurious warnings about it;
2012-02-14 wenzelm 2012-02-14 more conventional tactic setup;
2012-02-14 wenzelm 2012-02-14 eliminated odd/obsolete innermost_params (cf. a77ad6c86564, 3458b0e955ac);
2012-02-14 wenzelm 2012-02-14 prefer high-level elim_format;
2012-02-14 wenzelm 2012-02-14 discontinued unused MRL -- in correspondence with section "2.4.2 Rule composition" in the implementation manual;
2012-02-14 wenzelm 2012-02-14 method setup;
2012-02-14 wenzelm 2012-02-14 simplified use of tacticals;
2012-02-14 wenzelm 2012-02-14 comment;
2012-02-14 wenzelm 2012-02-14 tuned signature, according to actual usage of these operations;
2012-02-14 wenzelm 2012-02-14 tuned signature;
2012-02-14 wenzelm 2012-02-14 normalized aliases;
2012-02-14 wenzelm 2012-02-14 elininated unused INTLEAVE;
2012-02-14 wenzelm 2012-02-14 eliminated unused rewrite_goal_rule;
2012-02-14 wenzelm 2012-02-14 eliminated unused subgoals_tac;
2012-02-14 wenzelm 2012-02-14 eliminated obsolete aliases;
2012-02-14 wenzelm 2012-02-14 eliminated obsolete aliases;
2012-02-14 wenzelm 2012-02-14 tuned;
2012-02-14 wenzelm 2012-02-14 merged, resolving trivial conflicts;
2012-02-14 wenzelm 2012-02-14 merged;
2012-02-11 blanchet 2012-02-11 new SPASS options
2012-02-11 bulwahn 2012-02-11 making num_mutations a configuration that can be changed with the mutabelle bash command
2012-02-11 bulwahn 2012-02-11 making max_mutants an option that can be changed in the Mutabelle-script