src/HOL/List.thy
1996-08-19 paulson 1996-08-19 Renamed setOfList to set_of_list
1996-08-02 berghofe 1996-08-02 Simplified primrec definitions.
1996-06-25 berghofe 1996-06-25 Changed argument order of nat_rec.
1996-06-18 paulson 1996-06-18 Addition of setOfList
1996-02-05 clasohm 1996-02-05 expanded tabs; renamed subtype to typedef; incorporated Konrad's changes
1995-12-22 nipkow 1995-12-22 defined take/drop by induction over list rather than nat.
1995-11-29 clasohm 1995-11-29 removed quotes from types in consts and syntax sections
1995-11-12 nipkow 1995-11-12 added new arithmetic lemmas and the functions take and drop.
1995-06-29 lcp 1995-06-29 Added function rev and its properties length_rev, etc.
1995-03-28 clasohm 1995-03-28 changed syntax of datatype declarations (curried types for constructor parameters)
1995-03-20 clasohm 1995-03-20 changed syntax of "if"
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application