Greg Ward 6153fa19ce Guido's rewording of my definition of "root package", with an addition by me.		2000-05-26 02:24:28 +00:00
..
dist.tex	Guido's rewording of my definition of "root package", with an addition by me.	2000-05-26 02:24:28 +00:00