src/HOL/UNITY/AllocBase.ML
2000-10-18 wenzelm 2000-10-18 use Multiset from HOL/Library;
2000-08-30 nipkow 2000-08-30 introduced induct_thm_tac
2000-07-14 paulson 2000-07-14 moved sublist from UNITY/AllocBase to List
2000-06-23 paulson 2000-06-23 sum_below f n -> setsum f (lessThan n)
2000-06-22 paulson 2000-06-22 removed some finiteness conditions from bag_of/sublist theorems
2000-06-20 paulson 2000-06-20 changed a step for the improved rules for setsum
2000-06-02 paulson 2000-06-02 lots of new results about sublist, bag_of
2000-05-26 paulson 2000-05-26 sublist and some lemmas about it
2000-05-23 paulson 2000-05-23 new files for the Allocator