Sat, 25 Apr 2009 20:05:21 +0200 | wenzelm | post Isabelle2009 version; | changeset | files |
Sat, 25 Apr 2009 08:34:30 +0200 | haftmann | adjusted to change in code_wellsorted.ML | changeset | files |
Fri, 24 Apr 2009 21:27:49 +0200 | haftmann | merged | changeset | files |
Fri, 24 Apr 2009 18:20:37 +0200 | haftmann | some jokes are just too bad to appear in a theory file | changeset | files |
Fri, 24 Apr 2009 18:01:39 +0200 | haftmann | removed confusion around funpow | changeset | files |
Fri, 24 Apr 2009 17:45:17 +0200 | haftmann | observe distinction between Pure/Tools and Tools more closely | changeset | files |