Wed, 07 May 2008 13:05:13 +0200 output_entity: ignore ThyOutput.source option;
wenzelm [Wed, 07 May 2008 13:05:13 +0200] rev 26843
output_entity: ignore ThyOutput.source option;
Wed, 07 May 2008 13:04:12 +0200 updated generated file;
wenzelm [Wed, 07 May 2008 13:04:12 +0200] rev 26842
updated generated file;
Wed, 07 May 2008 12:56:11 +0200 converted HOLCF specific elements;
wenzelm [Wed, 07 May 2008 12:56:11 +0200] rev 26841
converted HOLCF specific elements;
Wed, 07 May 2008 12:38:55 +0200 added logic-specific sessions;
wenzelm [Wed, 07 May 2008 12:38:55 +0200] rev 26840
added logic-specific sessions;
Wed, 07 May 2008 10:59:54 +0200 Updated.
berghofe [Wed, 07 May 2008 10:59:54 +0200] rev 26839
Updated.
Wed, 07 May 2008 10:59:53 +0200 Instantiated rule increasing_chain_adm_lemma in proof of flatstream_adm_lemma
berghofe [Wed, 07 May 2008 10:59:53 +0200] rev 26838
Instantiated rule increasing_chain_adm_lemma in proof of flatstream_adm_lemma to avoid problems with HO unification.
Wed, 07 May 2008 10:59:52 +0200 Replaced instance declarations for sets by instance declarations for bool.
berghofe [Wed, 07 May 2008 10:59:52 +0200] rev 26837
Replaced instance declarations for sets by instance declarations for bool. Together with the instance declarations for fun from Ffun, this subsumes the old instance declarations for sets.
Wed, 07 May 2008 10:59:51 +0200 Adm now imports Ffun rather than Cont, because SetPcpo, which imports Adm,
berghofe [Wed, 07 May 2008 10:59:51 +0200] rev 26836
Adm now imports Ffun rather than Cont, because SetPcpo, which imports Adm, needs functions (since sets are now just functions).
Wed, 07 May 2008 10:59:50 +0200 Lookup and union operations on terms are now modulo eta conversion.
berghofe [Wed, 07 May 2008 10:59:50 +0200] rev 26835
Lookup and union operations on terms are now modulo eta conversion.
Wed, 07 May 2008 10:59:49 +0200 Terms returned by decomp are now eta-contracted.
berghofe [Wed, 07 May 2008 10:59:49 +0200] rev 26834
Terms returned by decomp are now eta-contracted.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip