John Benediktsson 331483ab98 classes.algebra: removing valid-classoid? (enforced in constructors).		2016-04-13 14:29:24 -07:00
..
authors.txt	classes.maybe: move maybe definition from classes.union to classes.maybe	2011-11-22 02:46:36 -08:00
maybe-tests.factor	classes.maybe: this restriction isn't necessary anymore.	2016-04-13 14:20:00 -07:00
maybe.factor	classes.algebra: removing valid-classoid? (enforced in constructors).	2016-04-13 14:29:24 -07:00