haftmann [Thu, 08 Jul 2010 16:19:23 +0200] rev 37742
tuned module names
haftmann [Thu, 08 Jul 2010 16:17:44 +0200] rev 37741
tuned tabs
haftmann [Thu, 08 Jul 2010 16:17:44 +0200] rev 37740
tuned script
haftmann [Thu, 08 Jul 2010 09:36:23 +0200] rev 37739
combinator with_tmp_dir
haftmann [Thu, 08 Jul 2010 09:36:22 +0200] rev 37738
rm_tree: remove entire file system trees
berghofe [Wed, 07 Jul 2010 18:17:23 +0200] rev 37737
Boxes may now have different widths.
hoelzl [Wed, 07 Jul 2010 09:26:54 +0200] rev 37736
tuned
bulwahn [Wed, 07 Jul 2010 08:25:23 +0200] rev 37735
replaced manual derivation of equations for inductive predicates by automatic derivation by inductive_simps
bulwahn [Wed, 07 Jul 2010 08:25:22 +0200] rev 37734
added NEWS entry
bulwahn [Wed, 07 Jul 2010 08:25:21 +0200] rev 37733
added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation