rosettacode>Diekmann
This should be aredirect
19:23
+3
Initial page for Isabelle/HOL language.
19:20
+29