| Wed, 31 Mar 2004 16:10:53 +0200 | skalberg | Added check that Theory.ML does not occur in the files section of the theory | changeset | files |
| Wed, 31 Mar 2004 11:02:00 +0200 | nipkow | Lex now in AFP | changeset | files |
| Wed, 31 Mar 2004 11:00:25 +0200 | nipkow | HOL/Lex is now in AFP/Functional-Automata | changeset | files |
| Wed, 31 Mar 2004 10:51:50 +0200 | streckem | new | changeset | files |
| Tue, 30 Mar 2004 19:33:57 +0200 | streckem | new | changeset | files |
| Tue, 30 Mar 2004 19:28:27 +0200 | streckem | Added PSV 2003/2004 | changeset | files |
| Tue, 30 Mar 2004 11:25:14 +0200 | paulson | tidied | changeset | files |
| Tue, 30 Mar 2004 11:18:12 +0200 | paulson | tidied | changeset | files |
| Tue, 30 Mar 2004 08:45:39 +0200 | nipkow | Added append_eq_append_conv2 | changeset | files |
| Mon, 29 Mar 2004 15:35:04 +0200 | skalberg | Added bitvector library (Word) to HOL/Library and a theory using it (Adder) | changeset | files |
| Mon, 29 Mar 2004 10:17:35 +0200 | kleing | include exercises again | changeset | files |
| Mon, 29 Mar 2004 08:59:58 +0200 | kleing | removed intro to isabelle | changeset | files |
| Mon, 29 Mar 2004 08:59:23 +0200 | kleing | put in sections, reorganized, removed intro to isabelle | changeset | files |
| Mon, 29 Mar 2004 08:54:26 +0200 | kleing | allow sections in contents file | changeset | files |
| Fri, 26 Mar 2004 19:58:43 +0100 | webertj | satsolver=dpll | changeset | files |
| Fri, 26 Mar 2004 14:53:17 +0100 | webertj | slightly different SAT solver interface | changeset | files |
| Fri, 26 Mar 2004 12:21:50 +0100 | webertj | Installed solvers now determined at call time (as opposed to compile time) | changeset | files |
| Fri, 26 Mar 2004 05:32:00 +0100 | kleing | symbols in idents | changeset | files |
| Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | changeset | files |
| Thu, 25 Mar 2004 10:31:25 +0100 | paulson | new treatment of equivalence classes | changeset | files |
| Thu, 25 Mar 2004 06:44:39 +0100 | kleing | documented new identifier syntax | changeset | files |
| Thu, 25 Mar 2004 05:37:32 +0100 | kleing | moved MiniML and AVL to archive of formal proofs | changeset | files |
| Wed, 24 Mar 2004 10:55:38 +0100 | paulson | auto update | changeset | files |
| Wed, 24 Mar 2004 10:55:20 +0100 | paulson | clarified | changeset | files |