src/HOL/UNITY/AllocBase.thy
2000-10-18 wenzelm 2000-10-18 use Multiset from HOL/Library;
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-02 paulson 2000-06-02 new constant bag_of
2000-05-26 paulson 2000-05-26 sublist and some lemmas about it
2000-05-25 paulson 2000-05-25 sum_below moved here from Arith
2000-05-23 paulson 2000-05-23 new files for the Allocator