| Wed, 14 Oct 2009 11:56:44 +0200 | haftmann | dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology | changeset | files |
| Tue, 13 Oct 2009 14:57:53 +0200 | haftmann | merged | changeset | files |
| Tue, 13 Oct 2009 14:08:01 +0200 | haftmann | deactivated Datatype.distinct_simproc | changeset | files |
| Tue, 13 Oct 2009 14:08:00 +0200 | haftmann | dropped Datatype.distinct_simproc; tuned | changeset | files |
| 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 |
| Mon, 12 Oct 2009 15:48:12 +0200 | haftmann | merged | changeset | files |
| Mon, 12 Oct 2009 15:46:38 +0200 | haftmann | intro_base_names combinator | changeset | files |
| Mon, 12 Oct 2009 15:26:50 +0200 | haftmann | merged | changeset | files |
| Mon, 12 Oct 2009 15:26:40 +0200 | haftmann | dropped dist_ss | changeset | files |
| Mon, 12 Oct 2009 14:22:54 +0200 | haftmann | merged | changeset | files |
| Mon, 12 Oct 2009 12:19:19 +0200 | haftmann | added is_IVar | changeset | files |
| Mon, 12 Oct 2009 12:19:19 +0200 | haftmann | factored out Code_Printer.aux_params | changeset | files |
| Mon, 12 Oct 2009 13:40:28 +0200 | haftmann | dropped rule duplicates | changeset | files |
| Mon, 12 Oct 2009 11:03:10 +0200 | haftmann | less non-standard combinators | changeset | files |
| Mon, 12 Oct 2009 10:24:08 +0200 | haftmann | nth replaces List.nth | changeset | files |
| Mon, 12 Oct 2009 10:24:07 +0200 | haftmann | dropped redundancy | changeset | files |
| Mon, 12 Oct 2009 09:25:27 +0200 | haftmann | dropped dead code | changeset | files |
| Mon, 12 Oct 2009 09:25:26 +0200 | haftmann | using distinct rules directly | changeset | files |
| Fri, 09 Oct 2009 13:40:34 +0200 | haftmann | simplified proof | changeset | files |