Jan van Brügge 9aa4c5dbfc isabelle: Make closer to upstream ... This makes isabelle use the versions of polyml and z3 that are also used upstream. Additionally it packages the sha1 library that isabelle uses. Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>		2022-04-20 11:22:43 +02:00
..
components
default.nix	isabelle: Make closer to upstream	2022-04-20 11:22:43 +02:00