src/CCL/Wfd.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1994-03-22 clasohm 1994-03-22 changed "." to "$" to eliminate ambiguity
1994-01-14 lcp 1994-01-14 corrected comments
1993-09-16 clasohm 1993-09-16 Initial revision