Thu, 23 Nov 2006 00:51:51 +0100 | wenzelm | renamed string_of_pair/list/option to ML_Syntax.str_of_pair/list/option; | changeset | files |
Thu, 23 Nov 2006 00:51:47 +0100 | wenzelm | removed dead code; | changeset | files |
Thu, 23 Nov 2006 00:09:24 +0100 | aspinall | Add doccomment; rename litcomment -> doccomment | changeset | files |
Wed, 22 Nov 2006 20:51:00 +0100 | wenzelm | * settings: ML_IDENTIFIER includes the Isabelle version identifier; | changeset | files |
Wed, 22 Nov 2006 20:08:07 +0100 | paulson | Consolidation of code to "blacklist" unhelpful theorems, including record | changeset | files |
Wed, 22 Nov 2006 19:55:22 +0100 | wenzelm | ML_IDENTIFIER includes Isabelle version; | changeset | files |