| Thu, 09 Jun 2011 15:37:37 +0200 | wenzelm | more tight name invention -- avoiding old functions; | changeset | files |
| Thu, 09 Jun 2011 11:26:25 +0200 | wenzelm | \frenchspacing for formal isabelle style avoids extra space in situations like ``@{text "?"}'' followed by plain text; | changeset | files |