| Thu, 26 Apr 2007 14:24:12 +0200 | wenzelm | added header; | changeset | files |
| Thu, 26 Apr 2007 14:24:08 +0200 | wenzelm | eliminated unnamed infixes, tuned syntax; | changeset | files |
| Thu, 26 Apr 2007 13:33:17 +0200 | haftmann | clarified naming policy | changeset | files |
| Thu, 26 Apr 2007 13:33:16 +0200 | haftmann | clarified semantics of merge | changeset | files |
| Thu, 26 Apr 2007 13:33:15 +0200 | haftmann | moved stuff to Char_nat.thy | changeset | files |
| Thu, 26 Apr 2007 13:33:12 +0200 | haftmann | tuned | changeset | files |
| Thu, 26 Apr 2007 13:33:09 +0200 | haftmann | slightly tuned | changeset | files |
| Thu, 26 Apr 2007 13:33:07 +0200 | haftmann | replaced recdef by function | changeset | files |