Mon, 23 May 2005 14:56:35 +0200 | wenzelm | use: not a theory command! | changeset | files |
Mon, 23 May 2005 13:39:45 +0200 | nipkow | converted back from 0..< to <. | changeset | files |
Mon, 23 May 2005 12:09:30 +0200 | haftmann | added email | changeset | files |