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