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	isabelle: Add isabelle-linter as optional component	2022-03-23 14:47:21 +01:00
default.nix	isabelle: Make closer to upstream	2022-04-20 11:22:43 +02:00