Fri, 27 Aug 2021 14:29:02 +0200 blanchet handle Zipperposition's ResourceOut gracefully
Fri, 27 Aug 2021 14:28:56 +0200 blanchet disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
Thu, 26 Aug 2021 23:23:16 +0200 wenzelm proper test for type constructor;
Thu, 26 Aug 2021 22:25:35 +0200 wenzelm more Isabelle/Haskell operations;
Thu, 26 Aug 2021 22:15:55 +0200 wenzelm more Isabelle/Haskell operations;
Thu, 26 Aug 2021 16:24:48 +0200 wenzelm merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip