Fri, 17 Dec 2004 12:43:12 +0100 | kleing | Isabelle 2005 - preview | changeset | files |
Fri, 17 Dec 2004 12:39:40 +0100 | kleing | sugar, not sugari. stupid vi ;-) | changeset | files |
Fri, 17 Dec 2004 10:15:46 +0100 | paulson | removed two looping simplifications in SetInterval.thy; deleted the .ML file | changeset | files |