Tue, 27 Apr 2010 23:11:40 +0200 | Christian Urban | added some further problemetic tests | changeset | files |
Tue, 27 Apr 2010 22:45:50 +0200 | Christian Urban | some tuning | changeset | files |
Tue, 27 Apr 2010 22:21:16 +0200 | Christian Urban | moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base | changeset | files |