Wed, 21 Apr 2010 15:45:33 +0200 | krauss | tolerate eta-variants in f_graph.cases (from inductive package); added test case; | changeset | files |
Wed, 21 Apr 2010 15:37:39 +0200 | krauss | simplified example | changeset | files |
Wed, 21 Apr 2010 14:46:29 +0200 | blanchet | use only one thread in "Manual_Nits"; | changeset | files |