doc-src/gfx/isabelle_zf.pdf
author nipkow
Mon, 01 Sep 2008 19:16:40 +0200
changeset 28068 f6b2d1995171
parent 6616 eb87300379fe
permissions -rw-r--r--
cleaned up code generation for {.._} and {..<_} moved lemmas into SetInterval where they belong

(binary:application/pdf)