Development Snapshot

This is an arbitrary snapshot of the Isabelle repository. It is built automatically every night from the repository sources and has passed an automated regression test.

View the change log for this version online, or browse the sources directly in the Mercurial repository.

For the current stable version see the official Isabelle distribution page.

Download

Isabelle
  Sources and documentation   Isabelle_20-Oct-2014.tar.gz   33 M  

Timing statistics

at-poly
at-poly-test
at64-poly
at-mac-poly-para
mac-poly-M2
mac-poly-M4
mac-poly-M8
mac-poly-M8-skip_proofs
mac-poly64-M4
mac-poly64-M8
at-sml
cygwin-poly-e
afp