Tue, 13 Nov 2007 10:54:40 +0100 | berghofe | Moved nat_eq_dec and search to Util.thy | changeset | files |
Tue, 13 Nov 2007 10:53:39 +0100 | berghofe | Tuned. | changeset | files |
Tue, 13 Nov 2007 10:50:33 +0100 | berghofe | to_pred and to_set now save induction and case rule tags. | changeset | files |