Revision as of 19:20, 18 July 2020 (view source) rosettacode>Diekmann (Initial page for Isabelle/HOL language.)		Latest revision as of 19:23, 18 July 2020 (view source) rosettacode>Diekmann (This should be aredirect)
Line 1: ~~{{stub}}{{language\|~~#REDIRECT [[:Category:Isabelle}}]]

Isabelle: Difference between revisions

Isabelle (view source)