| 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 |