| Tue, 31 Jul 2007 23:23:34 +0200 | wenzelm | proper path specifications; | changeset | files |
| Tue, 31 Jul 2007 23:23:28 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Tue, 31 Jul 2007 22:21:22 +0200 | wenzelm | setmp_noncritical print_mode; | changeset | files |
| Tue, 31 Jul 2007 22:21:20 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Tue, 31 Jul 2007 22:21:18 +0200 | wenzelm | removed obsolete HOL/Real/ROOT.ML; | changeset | files |
| Tue, 31 Jul 2007 21:19:24 +0200 | wenzelm | no_document: setmp_noncritical; | changeset | files |
| Tue, 31 Jul 2007 21:19:23 +0200 | wenzelm | with_charset: setmp_noncritical; | changeset | files |