open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2007-12-02	* bags.spad.pamphlet (Stack): Relax requirement element type S.	dos-reis	1	-4/+11
	(coerce$Stack: % -> OutputForm): Define only if S has CoercibleTo OutputForm. (=$Stack: (%, %) -> Boolean): Define only if S has SetCategory.
2007-08-14	Initial population.	dos-reis	1	-0/+329