| Mon, 26 Mar 2012 19:04:17 +0200 | huffman | code lemma for function 'nat' that doesn't go into an infinite loop (fixes problem with non-terminating HOL-Proofs-Lambda) | changeset | files |
| Mon, 26 Mar 2012 19:03:27 +0200 | huffman | remove old-style semicolon | changeset | files |
| Mon, 26 Mar 2012 20:09:52 +0200 | nipkow | merged | changeset | files |
| Mon, 26 Mar 2012 18:54:41 +0200 | nipkow | Functions and lemmas by Christian Sternagel | changeset | files |
| Mon, 26 Mar 2012 20:42:00 +0200 | wenzelm | more precise treatment of \r\n as blank symbol (cf. 2bf29095d26f), e.g. relevant for loading theory headers in Isabelle/jEdit -- NB: jEdit and Isabelle/ML normalize newline variants to \n, but Isabelle/Scala retains them literally; | changeset | files |
| Mon, 26 Mar 2012 19:18:03 +0200 | wenzelm | disabled HOL-Proofs-Lambda temporarily, which causes problems with 2a1953f0d20d; | changeset | files |