| Mon, 11 Mar 1996 14:08:09 +0100 | paulson | New, one-line proof of inj_Atom | changeset | files |
| Mon, 11 Mar 1996 14:05:45 +0100 | paulson | deleted obsolete comment | changeset | files |
| Mon, 11 Mar 1996 14:04:37 +0100 | paulson | set_cs now includes singleton_inject | changeset | files |
| Mon, 11 Mar 1996 14:03:30 +0100 | paulson | Added formulation of Halting Problem | changeset | files |
| Mon, 11 Mar 1996 11:49:05 +0100 | clasohm | added constdefs section | changeset | files |
| Fri, 08 Mar 1996 13:11:09 +0100 | clasohm | added constdefs section | changeset | files |
| Wed, 06 Mar 1996 14:19:39 +0100 | clasohm | added constdefs section | changeset | files |
| Wed, 06 Mar 1996 14:12:24 +0100 | clasohm | added constdefs section | changeset | files |
| Wed, 06 Mar 1996 14:11:41 +0100 | clasohm | added constdefs | changeset | files |
| Wed, 06 Mar 1996 14:10:44 +0100 | clasohm | moved part of delete_thms into init_thyinfo | changeset | files |
| Wed, 06 Mar 1996 13:57:07 +0100 | paulson | Ran expandshort | changeset | files |
| Wed, 06 Mar 1996 12:52:11 +0100 | paulson | Ran expandshort | changeset | files |
| Wed, 06 Mar 1996 12:19:16 +0100 | clasohm | documented new function 'section' | changeset | files |
| Wed, 06 Mar 1996 10:26:43 +0100 | paulson | EX_FILES includes new oracle examples, and uses the | changeset | files |
| Wed, 06 Mar 1996 10:14:47 +0100 | paulson | Now loads IffOracle, the oracles example | changeset | files |
| Wed, 06 Mar 1996 10:05:00 +0100 | nipkow | Added 'section' commands | changeset | files |
| Tue, 05 Mar 1996 17:37:28 +0100 | paulson | New documentation for example | changeset | files |
| Tue, 05 Mar 1996 17:29:58 +0100 | paulson | Changed HOL to ZF in title; added address | changeset | files |
| Tue, 05 Mar 1996 17:23:21 +0100 | paulson | New documentation for example | changeset | files |
| Tue, 05 Mar 1996 17:22:47 +0100 | paulson | Corrected URL | changeset | files |
| Tue, 05 Mar 1996 16:50:17 +0100 | paulson | New documentation for examples | changeset | files |
| Tue, 05 Mar 1996 16:29:01 +0100 | paulson | Put quotes around URLs in links | changeset | files |
| Tue, 05 Mar 1996 16:27:01 +0100 | paulson | Put quotes around URLs in links | changeset | files |
| Tue, 05 Mar 1996 15:55:15 +0100 | paulson | Converted TABs to spaces | changeset | files |
| Tue, 05 Mar 1996 15:52:59 +0100 | paulson | Addition of oracles | changeset | files |
| Tue, 05 Mar 1996 13:18:58 +0100 | clasohm | added function "section" for HTML section headings | changeset | files |
| Tue, 05 Mar 1996 11:38:41 +0100 | paulson | Example of declaring oracles | changeset | files |
| Tue, 05 Mar 1996 11:00:48 +0100 | paulson | More up-to-date references | changeset | files |