bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33114
added further examples; added mode to code_pred command; tuned; some temporary things in Predicate_Compile_ex
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33113
processing of tuples in introduction rules
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33112
added a few tricky examples with tuples; added alternative introduction rules for some constants; corrected mode analysis with negation; improved fetching of definitions
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33111
developing an executable the operator
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33110
generalizing singleton with a default value
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33109
changed elimination preprocessing due to an error with a JinjaThread predicate
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33108
added test for higher-order function inductification; added debug messages
bulwahn [Sat, 24 Oct 2009 16:55:40 +0200] rev 33107
added filtering of case constants in the definition retrieval of the predicate compiler
bulwahn [Sat, 24 Oct 2009 16:55:37 +0200] rev 33106
extended core of predicate compiler to expand tuples in introduction rules
bulwahn [Sat, 24 Oct 2009 16:55:35 +0200] rev 33105
added tupled versions of examples for the predicate compiler