src/CCL/Hered.thy
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1993-09-16 clasohm 1993-09-16 Initial revision