NixOS/nixpkgs — pull request #122 by maggesi (2012-09-04 12:50:49+00:00)
Title: Isabelle2012

Upgrade Isabelle theorem prover to the new version Isabelle2012.
This is my first pull request, so I hope I didn't do anything wrong.