Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | generate problems with type classes | changeset | files |
Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | added warning to documentation, based on isabelle-users thread | changeset | files |
Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | more reasonable default weight | changeset | files |