| Tue, 13 Nov 2007 10:55:54 +0100 | berghofe | Added new exampes Greatest_Common_Divisor and Euclid. | changeset | files |
| Tue, 13 Nov 2007 10:55:08 +0100 | berghofe | Moved nat_eq_dec to Util.thy | changeset | files |
| 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 |
| Mon, 12 Nov 2007 23:08:12 +0100 | wenzelm | removed left-over text links from lynx conversion; | changeset | files |
| Mon, 12 Nov 2007 21:09:32 +0100 | wenzelm | back to sigusr2, after Poly/ML 5.1 has been adapted; | changeset | files |