Sat, 28 Feb 2009 17:09:32 +0100 | wenzelm | updated generated files; | changeset | files |
Sat, 28 Feb 2009 17:08:33 +0100 | wenzelm | added method "coherent"; | changeset | files |
Sat, 28 Feb 2009 17:08:08 +0100 | wenzelm | more refs; | changeset | files |
Sat, 28 Feb 2009 16:48:27 +0100 | wenzelm | moved method "iprover" to HOL specific part; | changeset | files |
Sat, 28 Feb 2009 16:39:46 +0100 | wenzelm | removed Ids; | changeset | files |
Sat, 28 Feb 2009 16:35:33 +0100 | wenzelm | simultaneous use_thys; | changeset | files |