Sat, 03 Feb 2001 15:21:57 +0100 | wenzelm | use fgrep; | changeset | files |
Sat, 03 Feb 2001 15:20:55 +0100 | wenzelm | HOL: inductive package no longer splits induction rule aggressively, | changeset | files |
Sat, 03 Feb 2001 12:41:38 +0100 | paulson | commutation theory, ported by Sidi Ehmety | changeset | files |
Sat, 03 Feb 2001 00:11:07 +0100 | wenzelm | updated; | changeset | files |
Sat, 03 Feb 2001 00:01:54 +0100 | wenzelm | simplified 'split_format' syntax; | changeset | files |
Fri, 02 Feb 2001 23:59:30 +0100 | wenzelm | 'split_format' attribute; | changeset | files |