7 Commits

Author	SHA1	Message	Date
Sylvain Pion	4c79d1d5cf	Rename Bool_type to Boolean.	2008-08-26 13:40:26 +00:00
Sylvain Pion	d52770ff46	Add missing new typedefs	2008-07-22 14:04:17 +00:00
Sylvain Pion	79864c0c8e	Remove Arity_tag.	2008-07-22 12:29:01 +00:00
Menelaos Karavelas	213aad8fc2	removed specializations of Pairify for Comparison_result and ... Oriented_side; they are now taken care of by that of Sign.	2006-07-21 11:21:56 +00:00
Laurent Saboret	db6a8f948c	Change CVS keywords to SVN style	2006-02-16 14:30:13 +00:00
Laurent Saboret	1aad55d4cb	Change CVS keywords to SVN style	2006-02-14 10:08:15 +00:00
Laurent Saboret	a0a9b777bc	Move packages to trunk root	2006-02-14 08:58:16 +00:00