Tue, 13 Oct 2009 13:40:26 +0200 | hoelzl | order conjunctions to be printed without parentheses | changeset | files |
Tue, 13 Oct 2009 12:02:55 +0200 | hoelzl | approximation now fails earlier when using interval splitting; value [approximate] now supports bounded variables; renamed Var -> Atom for better readability | changeset | files |
Tue, 13 Oct 2009 09:13:24 +0200 | haftmann | merged | changeset | files |
Mon, 12 Oct 2009 16:16:44 +0200 | haftmann | added add_tyconames; tuned | changeset | files |
Tue, 13 Oct 2009 08:36:53 +0200 | haftmann | merged | changeset | files |
Tue, 13 Oct 2009 08:36:39 +0200 | haftmann | more appropriate abstraction over distinctness rules | changeset | files |