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 |