Tue, 16 Aug 2011 09:31:23 -0700 | huffman | add simp rules for isCont | changeset | files |
Tue, 16 Aug 2011 23:39:58 +0200 | wenzelm | updated keywords -- old codegen is no longer in Pure; | changeset | files |
Tue, 16 Aug 2011 23:39:30 +0200 | wenzelm | include HOL-Library keywords for the sake of recdef; | changeset | files |