| Tue, 28 Aug 2007 11:51:27 +0200 | wenzelm | replaced 'sorry' by unproven; | changeset | files |
| Tue, 28 Aug 2007 11:25:32 +0200 | wenzelm | do not touch quick_and_dirty; | changeset | files |
| Tue, 28 Aug 2007 11:25:31 +0200 | wenzelm | norm_absolute: CRITICAL; | changeset | files |
| Tue, 28 Aug 2007 11:25:30 +0200 | wenzelm | tuned load order -- minimizes modules before Secure; | changeset | files |
| Tue, 28 Aug 2007 11:25:29 +0200 | wenzelm | induct: proper separation of initial and terminal step; | changeset | files |
| Tue, 28 Aug 2007 03:58:37 +0200 | huffman | move WordExamples to Examples directory | changeset | files |
| Tue, 28 Aug 2007 03:56:24 +0200 | huffman | HOL-Word-Examples | changeset | files |
| Tue, 28 Aug 2007 03:49:18 +0200 | huffman | Word Examples directory | changeset | files |