src/HOL/Datatype_Universe.thy
2001-01-09 nipkow 2001-01-09 `` -> and ``` -> ``
2000-10-13 nipkow 2000-10-13 *** empty log message ***
2000-10-12 nipkow 2000-10-12 *** empty log message ***