Fri, 07 Apr 2006 05:12:00 +0200 lemmas returned from ResClasimp.get_clasimp_atp_lemmas are thm rather than term.
mengj [Fri, 07 Apr 2006 05:12:00 +0200] rev 19352
lemmas returned from ResClasimp.get_clasimp_atp_lemmas are thm rather than term.
Fri, 07 Apr 2006 03:20:34 +0200 renamed ASeries to Arithmetic_Series, removed the ^M
kleing [Fri, 07 Apr 2006 03:20:34 +0200] rev 19351
renamed ASeries to Arithmetic_Series, removed the ^M
Thu, 06 Apr 2006 17:29:40 +0200 modified the perm_compose rule such that it
urbanc [Thu, 06 Apr 2006 17:29:40 +0200] rev 19350
modified the perm_compose rule such that it is applied as simplification rule (as simproc) in the restricted case where the first permutation is a swapping coming from a supports problem also deleted the perm_compose' rule from the set of rules that are automatically tried
Thu, 06 Apr 2006 16:13:17 +0200 cleanup in typedef/datatype package
haftmann [Thu, 06 Apr 2006 16:13:17 +0200] rev 19349
cleanup in typedef/datatype package
Thu, 06 Apr 2006 16:12:57 +0200 added explicit serialization for int equality
haftmann [Thu, 06 Apr 2006 16:12:57 +0200] rev 19348
added explicit serialization for int equality
Thu, 06 Apr 2006 16:11:30 +0200 adapted for definitional code generation
haftmann [Thu, 06 Apr 2006 16:11:30 +0200] rev 19347
adapted for definitional code generation
Thu, 06 Apr 2006 16:10:46 +0200 cleanup in datatype package
haftmann [Thu, 06 Apr 2006 16:10:46 +0200] rev 19346
cleanup in datatype package
Thu, 06 Apr 2006 16:10:22 +0200 small type annotation fix
haftmann [Thu, 06 Apr 2006 16:10:22 +0200] rev 19345
small type annotation fix
Thu, 06 Apr 2006 16:09:54 +0200 added hook for codegen_theorems.ML
haftmann [Thu, 06 Apr 2006 16:09:54 +0200] rev 19344
added hook for codegen_theorems.ML
Thu, 06 Apr 2006 16:09:37 +0200 adaptions to change in typedef_package.ML
haftmann [Thu, 06 Apr 2006 16:09:37 +0200] rev 19343
adaptions to change in typedef_package.ML
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip