diff -r 9c968d0de9a0 -r 2ce98ee39990 Attic/programs/formulas2.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Attic/programs/formulas2.scala	Sat Oct 04 13:17:18 2014 +0100
@@ -0,0 +1,14 @@
+abstract class Term
+case class Var(s: String) extends Term
+case class Consts(s: String) extends Term
+case class Fun(s: String, ts: List[Term]) extends Term
+
+abstract class Form
+case object True extends Form
+case object False extends Form
+case class And(f1: Form, f2: Form) extends Form
+case class Or(f1: Form, f2: Form) extends Form
+case class Imp(f1: Form, f2: Form) extends Form
+case class Neg(f: Form) extends Form
+case class Pred(s: String, ts: List[Term]) extends Form
+case class Says(s: String, f: Form) extends Form