log

age author description
Tue, 07 Jun 2011 15:53:20 +0200 Gilles Duboscq Merge
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
Tue, 07 Jun 2011 11:19:01 +0200 Gilles Duboscq Merge
Tue, 07 Jun 2011 11:18:18 +0200 Gilles Duboscq add files
Tue, 31 May 2011 15:19:30 +0200 Gilles Duboscq merge