Tue, 23 Feb 2010 10:11:15 +0100 | haftmann | dropped axclass; dropped Id | changeset | files |
Tue, 23 Feb 2010 10:11:15 +0100 | haftmann | dropped axclass; dropped Id; session theory Hoare.thy | changeset | files |
Tue, 23 Feb 2010 10:11:12 +0100 | haftmann | dropped axclass | changeset | files |
Tue, 23 Feb 2010 14:11:46 +0100 | Cezary Kaliszyk | export prs_rules and rsp_rules attributes | changeset | files |
Tue, 23 Feb 2010 12:14:46 +0100 | blanchet | merge | changeset | files |
Tue, 23 Feb 2010 12:14:29 +0100 | blanchet | improved precision of small sets in Nitpick | changeset | files |
Tue, 23 Feb 2010 11:05:32 +0100 | blanchet | improved Nitpick's support for quotient types | changeset | files |