Evaluation anf inference of formulas are now hconsed (in Formula).
[tatoo.git] / include /
2012-06-28 Kim NguyễnUsable version: