2005-06-18 wenzelm tuned;
2005-06-18 wenzelm tuned remove;
2005-06-18 wenzelm added member;
2005-06-18 wenzelm added Pure/General/ord_list.ML;
2005-06-18 wenzelm Ordered lists without duplicates.
2005-06-17 huffman fixrec shows unsolved subgoals when proofs of rewrites fail
2005-06-17 huffman make match_rews into simp rules by default
2005-06-17 huffman support theorem names and attributes for fixrec equations; also make them into simp rules by default, like primrec does
2005-06-17 huffman added match functions for ONE, TT, and FF; added theorem mplus_fail2
2005-06-17 wenzelm updated;
2005-06-17 wenzelm accomodate change of TheoryDataFun;
2005-06-17 wenzelm Context.names_of;
2005-06-17 wenzelm * Pure/TheoryDataFun: change of the argument structure;
2005-06-17 wenzelm Sign.root_path, Sign.local_path;
Loading...
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip