bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33127
added option show_proof_trace
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33126
importing of polymorphic introduction rules with different schematic variable names
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33125
added option show_intermediate_results
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33124
continued cleaning up; moved tuple expanding to core
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33123
cleaned up debugging messages; added options to code_pred command
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33122
added first support for higher-order function translation
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33121
added to process higher-order arguments by adding new constants
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33120
cleaned up
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33119
added theory with alternative definitions for the predicate compiler; cleaned up examples
bulwahn [Sat, 24 Oct 2009 16:55:42 +0200] rev 33118
importing theorems correctly causes problems with mutual recursive predicates in the predicate compiler; must be discussed with Stefan first