Gabriel Ebner 795c003359 isabelle: use polyml 5.6 ... Isabelle 2016 does not work with newer PolyML versions.		2017-08-07 17:21:08 +02:00
..
5.6.nix	isabelle: use polyml 5.6	2017-08-07 17:21:08 +02:00
default.nix	polyml: autoreconfHook -> nativeBuildInputs	2017-06-18 11:41:26 -05:00