History of Vacuum pump

	Revision 6 . . August 10, 2001 4:54 am by Stokerm
	Revision 5 . . (edit) August 10, 2001 4:48 am by Mike Dill
	Revision 4 . . (edit) August 10, 2001 3:46 am by Slick514
	Revision 3 . . August 10, 2001 1:39 am by (logged).211.186.xxx
	Revision 2 . . August 10, 2001 1:39 am by (logged).211.186.xxx
	Revision 1 . . (edit) July 27, 2001 6:52 am by Mike Dill

---

Difference (from prior major revision) (no other diffs)

Added: 7a8

**Diffusion pump

Added: 8a10