| Tue, 13 Aug 2002 21:54:23 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 13 Aug 2002 17:42:34 +0200 | paulson | In ZF/Constructible, moved many results from Satisfies_absolute, etc., to | changeset | files |
| Tue, 13 Aug 2002 12:16:14 +0200 | wenzelm | more robust printing of numerals; | changeset | files |
| Tue, 13 Aug 2002 11:03:11 +0200 | paulson | new file Constructible/Satisfies_absolute.thy | changeset | files |