| Fri, 02 Apr 2004 14:48:31 +0200 | nipkow | introduced fast_arith_neq_limit | changeset | files |
| Fri, 02 Apr 2004 14:47:11 +0200 | nipkow | got rid of ignore_neq again. | changeset | files |
| Fri, 02 Apr 2004 14:08:30 +0200 | ballarin | Experimental command for instantiation of locales in proof contexts: | changeset | files |
| Fri, 02 Apr 2004 12:25:48 +0200 | nipkow | ignore_neq also influences arith_tac now, not just fast_arith_tac | changeset | files |
| 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 |