| Tue, 21 Nov 1995 12:36:31 +0100 | clasohm | index.html files are now made separatly for each subdirectory | changeset | files |
| Sun, 19 Nov 1995 14:17:31 +0100 | nipkow | Moved comments into README.html | changeset | files |
| Sun, 19 Nov 1995 14:16:00 +0100 | nipkow | New README.html fuile | changeset | files |
| Sat, 18 Nov 1995 15:35:24 +0100 | nipkow | Better! | changeset | files |
| Sat, 18 Nov 1995 14:55:44 +0100 | nipkow | Half a lexical analyzer generator. | changeset | files |
| Fri, 17 Nov 1995 19:41:20 +0100 | nipkow | Added Lex | changeset | files |
| Fri, 17 Nov 1995 15:10:36 +0100 | mueller | *** empty log message *** | changeset | files |
| Fri, 17 Nov 1995 13:22:50 +0100 | clasohm | HTML version of README | changeset | files |
| Fri, 17 Nov 1995 13:15:19 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 17 Nov 1995 12:40:09 +0100 | clasohm | converted README to HTLM; replaced "CHOL" by "HOL" | changeset | files |
| Fri, 17 Nov 1995 12:19:21 +0100 | clasohm | changed simpset of "HOL" | changeset | files |
| Fri, 17 Nov 1995 12:08:04 +0100 | nipkow | README -> README.html | changeset | files |
| Fri, 17 Nov 1995 09:05:21 +0100 | nipkow | Added Hoare. | changeset | files |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | changeset | files |
| Thu, 16 Nov 1995 19:50:40 +0100 | nipkow | added rev_contrapos | changeset | files |
| Thu, 16 Nov 1995 12:18:38 +0100 | clasohm | added ../Provers/simplifier.ML | changeset | files |
| Wed, 15 Nov 1995 13:28:21 +0100 | clasohm | added link to README.html or README | changeset | files |
| Wed, 15 Nov 1995 13:27:57 +0100 | clasohm | HTML version of README | changeset | files |
| Tue, 14 Nov 1995 12:13:02 +0100 | clasohm | enlarged the images | changeset | files |
| Mon, 13 Nov 1995 16:44:48 +0100 | nipkow | Put IOA back into test | changeset | files |
| Mon, 13 Nov 1995 12:06:57 +0100 | mueller | *** empty log message *** | changeset | files |
| Sun, 12 Nov 1995 16:29:12 +0100 | nipkow | added new arithmetic lemmas and the functions take and drop. | changeset | files |
| Sun, 12 Nov 1995 13:14:13 +0100 | nipkow | Set eta_contract to true. | changeset | files |
| Fri, 10 Nov 1995 16:19:45 +0100 | nipkow | Literature references for MiniML. | changeset | files |
| Tue, 07 Nov 1995 13:15:43 +0100 | clasohm | changed for new naming style of HTML files (leading ".") | changeset | files |
| Tue, 07 Nov 1995 13:15:04 +0100 | clasohm | added leading "." to HTML filenames | changeset | files |
| Tue, 07 Nov 1995 12:58:17 +0100 | clasohm | removed quotes from types in consts section | changeset | files |
| Tue, 07 Nov 1995 12:57:20 +0100 | clasohm | types in consts section of .thy files can now be specified without quotes | changeset | files |