log

age author description
Tue, 07 Jun 2011 15:52:55 +0200 Gilles Duboscq Reintroduce Logic subclasses, creating some Canonicalization related classes
Tue, 07 Jun 2011 12:10:27 +0200 Gilles Duboscq Move TypeCHeck to floating nodes, rename Nodes to aboid using an *Op suffix
Tue, 07 Jun 2011 11:36:32 +0200 Gilles Duboscq Remove isNonNull