wenzelm [Sun, 19 Jul 2009 14:15:47 +0200] rev 32072
future_result: explicitly impose Variable.sorts_of again;
wenzelm [Sun, 19 Jul 2009 14:14:25 +0200] rev 32071
recovered a version of dequeue_towards (cf. bb7b5a5942c7);
join_results: work only towards explicit dependencies -- otherwise could produce dynamic cycle (not recorded in queue);
haftmann [Mon, 20 Jul 2009 09:52:09 +0200] rev 32070
merged
haftmann [Mon, 20 Jul 2009 08:31:12 +0200] rev 32069
closer relation of sets and complete lattices; corresponding consts, defs and syntax at similar places in theory text
haftmann [Wed, 15 Jul 2009 16:00:06 +0200] rev 32068
merged
haftmann [Mon, 20 Jul 2009 08:32:07 +0200] rev 32067
merged
haftmann [Wed, 15 Jul 2009 18:20:08 +0200] rev 32066
simplification of locale interfaces
haftmann [Wed, 15 Jul 2009 10:11:13 +0200] rev 32065
additional preprocessor rule
haftmann [Tue, 14 Jul 2009 16:27:34 +0200] rev 32064
added code_unfold_post attribute
haftmann [Tue, 14 Jul 2009 16:27:33 +0200] rev 32063
more accessors to unfold simpset