| 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 |