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;
wenzelm [Wed, 25 Aug 2021 17:46:53 +0200] rev 74196
more Isabelle/Haskell operations;
wenzelm [Wed, 25 Aug 2021 17:27:40 +0200] rev 74195
tuned;
wenzelm [Wed, 25 Aug 2021 17:24:45 +0200] rev 74194
more Isabelle/Haskell operations;
nipkow [Wed, 25 Aug 2021 22:10:15 +0200] rev 74193
reflect moved theories
nipkow [Wed, 25 Aug 2021 21:46:34 +0200] rev 74192
unhide canonical function def examples
nipkow [Wed, 25 Aug 2021 21:43:43 +0200] rev 74191
merged
nipkow [Wed, 18 Aug 2021 12:33:31 +0200] rev 74190
merged
nipkow [Fri, 09 Jul 2021 10:36:20 +0200] rev 74189
Backed out changeset fe8d0f4da0e6
wenzelm [Wed, 25 Aug 2021 13:40:40 +0200] rev 74188
more Isabelle/Haskell operations;