Sun, 15 Nov 2009 19:44:16 +0100 | wenzelm | provide actual Nitpick_HOL.extended_context; | changeset | files |
Sun, 15 Nov 2009 15:14:28 +0100 | wenzelm | tuned; | changeset | files |
Sun, 15 Nov 2009 15:14:02 +0100 | wenzelm | more accurate dependencies; | changeset | files |