Mon, 20 Jun 2005 22:14:08 +0200 wenzelm added certify_prop, cert_term, cert_prop;
Mon, 20 Jun 2005 22:14:07 +0200 wenzelm datatype thmref = Name ... | NameSelection ...;
Mon, 20 Jun 2005 22:14:06 +0200 wenzelm added member, option_ord;
Mon, 20 Jun 2005 22:14:05 +0200 wenzelm OrdList.inter;
Mon, 20 Jun 2005 22:14:04 +0200 wenzelm tuned;
Mon, 20 Jun 2005 22:14:03 +0200 wenzelm improved treatment of intermediate checkpoints: actual copy
Mon, 20 Jun 2005 22:14:02 +0200 wenzelm added add_fixrec_i, add_fixpat_i;
Mon, 20 Jun 2005 22:14:01 +0200 wenzelm proper header;
Mon, 20 Jun 2005 22:13:59 +0200 wenzelm get_thm(s): Name;
Mon, 20 Jun 2005 22:13:58 +0200 wenzelm get_thm instead of obsolete Goals.get_thm;
Mon, 20 Jun 2005 22:13:57 +0200 wenzelm HOL-Matrix: plain session;
Mon, 20 Jun 2005 22:13:56 +0200 wenzelm removed obsolete print_depth;
Mon, 20 Jun 2005 22:13:55 +0200 wenzelm be less ambitious about the author's name;
Mon, 20 Jun 2005 22:13:53 +0200 wenzelm exclude pghead.pdf from doc;
Mon, 20 Jun 2005 21:34:31 +0200 wenzelm improved formatting;
Mon, 20 Jun 2005 21:33:27 +0200 wenzelm use Tools/ATP/VampCommunication.ML;
Mon, 20 Jun 2005 18:39:24 +0200 quigley Added VampCommunication.ML.
Mon, 20 Jun 2005 16:41:47 +0200 wenzelm moved configure to lib/scripts;
Mon, 20 Jun 2005 16:41:20 +0200 wenzelm ./configure obsolete on virtually all systems, but apt to cause problems;
Mon, 20 Jun 2005 15:55:44 +0200 paulson using TPTP2X_HOME; indentation, etc
Mon, 20 Jun 2005 15:54:39 +0200 paulson fixed a faulty proof
Mon, 20 Jun 2005 15:54:22 +0200 paulson moving some generic inequalities from integer arith to nat arith
Mon, 20 Jun 2005 11:45:40 +0200 haftmann (moved to Distribution/lib/scripts)
Mon, 20 Jun 2005 11:30:44 +0200 haftmann added fixheaders
Sun, 19 Jun 2005 00:07:41 +0200 wenzelm improved comment;
Sun, 19 Jun 2005 00:02:06 +0200 wenzelm some minor adaptions to make it work again;
Sat, 18 Jun 2005 22:57:23 +0200 wenzelm tuned;
Sat, 18 Jun 2005 22:47:44 +0200 wenzelm tuned remove;
Sat, 18 Jun 2005 22:42:01 +0200 wenzelm added member;
Sat, 18 Jun 2005 22:41:18 +0200 wenzelm added Pure/General/ord_list.ML;
Sat, 18 Jun 2005 22:40:51 +0200 wenzelm Ordered lists without duplicates.
Sat, 18 Jun 2005 00:38:18 +0200 huffman fixrec shows unsolved subgoals when proofs of rewrites fail
Sat, 18 Jun 2005 00:33:27 +0200 huffman make match_rews into simp rules by default
Fri, 17 Jun 2005 21:19:31 +0200 huffman support theorem names and attributes for fixrec equations; also make them into simp rules by default, like primrec does
Fri, 17 Jun 2005 18:50:40 +0200 huffman added match functions for ONE, TT, and FF; added theorem mplus_fail2
Fri, 17 Jun 2005 18:36:25 +0200 wenzelm updated;
Fri, 17 Jun 2005 18:35:27 +0200 wenzelm accomodate change of TheoryDataFun;
Fri, 17 Jun 2005 18:33:42 +0200 wenzelm Context.names_of;
Fri, 17 Jun 2005 18:33:41 +0200 wenzelm * Pure/TheoryDataFun: change of the argument structure;
Fri, 17 Jun 2005 18:33:40 +0200 wenzelm Sign.root_path, Sign.local_path;
Fri, 17 Jun 2005 18:33:39 +0200 wenzelm removed obsolete theory_of_sign, theory_of_thm;
Fri, 17 Jun 2005 18:33:38 +0200 wenzelm PolyML.Compiler.printInAlphabeticalOrder := false;
Fri, 17 Jun 2005 18:33:37 +0200 wenzelm Context.DATA_FAIL;
Fri, 17 Jun 2005 18:33:36 +0200 wenzelm Context.PureN;
Fri, 17 Jun 2005 18:33:35 +0200 wenzelm RuleCases.tactic;
Fri, 17 Jun 2005 18:33:34 +0200 wenzelm accomodate change of TheoryDataFun;
Fri, 17 Jun 2005 18:33:33 +0200 wenzelm (RAW_)METHOD_CASES: RuleCases.tactic;
Fri, 17 Jun 2005 18:33:32 +0200 wenzelm Theory.add_typedecls;
Fri, 17 Jun 2005 18:33:31 +0200 wenzelm added map', fold;
Fri, 17 Jun 2005 18:33:30 +0200 wenzelm Table.fold;
Fri, 17 Jun 2005 18:33:29 +0200 wenzelm Symtab.fold;
Fri, 17 Jun 2005 18:33:28 +0200 wenzelm type theory, theory_ref, exception THEORY and related operations imported from Context;
Fri, 17 Jun 2005 18:33:27 +0200 wenzelm obsolete type sg is now an alias for Context.theory;
Fri, 17 Jun 2005 18:33:26 +0200 wenzelm added theorem_space;
Fri, 17 Jun 2005 18:33:25 +0200 wenzelm Context.theory_name;
Fri, 17 Jun 2005 18:33:24 +0200 wenzelm added serial numbers;
Fri, 17 Jun 2005 18:33:23 +0200 wenzelm removed obsolete pretty printers for Theory.theory, Sign.sg;
Fri, 17 Jun 2005 18:33:22 +0200 wenzelm removed pretty_theory, pprint_theory (see context.ML or thy_info.ML);
Fri, 17 Jun 2005 18:33:21 +0200 wenzelm added type theory: generic theory contexts with unique identity,
Fri, 17 Jun 2005 18:33:20 +0200 wenzelm removed Pure/theory_data.ML;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip