haftmann [Mon, 12 Jul 2010 16:26:48 +0200] rev 37774
dropped unused lemmas of dubious value
haftmann [Mon, 12 Jul 2010 16:23:30 +0200] rev 37773
dropped unused lemmas of dubious value
haftmann [Mon, 12 Jul 2010 16:19:15 +0200] rev 37772
split off mrec into separate theory
haftmann [Mon, 12 Jul 2010 16:05:08 +0200] rev 37771
spelt out relational framework in a consistent way
haftmann [Mon, 12 Jul 2010 11:39:27 +0200] rev 37770
avoid explicit mandatory prefix markers when prefixes are mandatory implicitly
haftmann [Mon, 12 Jul 2010 11:21:56 +0200] rev 37769
merged
haftmann [Mon, 12 Jul 2010 11:21:27 +0200] rev 37768
moved co-regularity to class section; avoid duplicated class_deps
haftmann [Mon, 12 Jul 2010 10:48:37 +0200] rev 37767
dropped superfluous [code del]s
haftmann [Mon, 12 Jul 2010 08:58:27 +0200] rev 37766
merged
haftmann [Mon, 12 Jul 2010 08:58:13 +0200] rev 37765
dropped superfluous [code del]s