haftmann [Tue, 13 Oct 2009 09:13:24 +0200] rev 32918
merged
haftmann [Mon, 12 Oct 2009 16:16:44 +0200] rev 32917
added add_tyconames; tuned
haftmann [Tue, 13 Oct 2009 08:36:53 +0200] rev 32916
merged
haftmann [Tue, 13 Oct 2009 08:36:39 +0200] rev 32915
more appropriate abstraction over distinctness rules
haftmann [Mon, 12 Oct 2009 15:48:12 +0200] rev 32914
merged
haftmann [Mon, 12 Oct 2009 15:46:38 +0200] rev 32913
intro_base_names combinator
haftmann [Mon, 12 Oct 2009 15:26:50 +0200] rev 32912
merged
haftmann [Mon, 12 Oct 2009 15:26:40 +0200] rev 32911
dropped dist_ss
haftmann [Mon, 12 Oct 2009 14:22:54 +0200] rev 32910
merged
haftmann [Mon, 12 Oct 2009 12:19:19 +0200] rev 32909
added is_IVar