isabelle: Changelog

blanchet [Fri, 27 Aug 2021 14:28:56 +0200] rev 74206

disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax

wenzelm [Thu, 26 Aug 2021 23:23:16 +0200] rev 74205

proper test for type constructor;

wenzelm [Thu, 26 Aug 2021 22:25:35 +0200] rev 74204

more Isabelle/Haskell operations;

wenzelm [Thu, 26 Aug 2021 22:15:55 +0200] rev 74203

more Isabelle/Haskell operations;

wenzelm [Thu, 26 Aug 2021 16:24:48 +0200] rev 74202

merged

wenzelm [Thu, 26 Aug 2021 14:52:15 +0200] rev 74201

tuned;

wenzelm [Thu, 26 Aug 2021 14:45:19 +0200] rev 74200

more scalable data structure (but: rarely used with > 5 arguments);

Kevin Kappelmann <kevin.kappelmann@tum.de> [Thu, 26 Aug 2021 13:40:49 +0200] rev 74199

Backed out changeset d4af818e0880

wenzelm [Wed, 25 Aug 2021 22:17:38 +0200] rev 74198

merged

wenzelm [Wed, 25 Aug 2021 22:16:27 +0200] rev 74197

more Isabelle/Haskell operations;

isabelle