Doug Coleman 32814ffce5 <=> outputs +lt+ +eq+ +gt+		2008-04-27 18:57:46 -05:00
..
authors.txt	…
heaps-docs.factor	…
heaps-tests.factor	…
heaps.factor	<=> outputs +lt+ +eq+ +gt+	2008-04-27 18:57:46 -05:00
summary.txt	…
tags.txt	…