| Fri, 02 Apr 2004 12:08:38 +0200 | nipkow | Added ignore_neq flag. | changeset | files |
| Thu, 01 Apr 2004 15:05:04 +0200 | paulson | removal of Binary Trees examples prepratory to its going into AFP | changeset | files |
| Thu, 01 Apr 2004 10:54:32 +0200 | paulson | new type class abelian_group | changeset | files |
| 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 |