Attic/programs/formulas.scala
2014-10-04 Christian Urban reorganised
less more (0) tip