Ir para arquivo
Burkhart Wolff 051e4e4281 upgrade to Isabelle2019 2019-07-12 18:42:11 +02:00
Example_Markup.thy upgrade to Isabelle2019 2019-07-12 18:42:11 +02:00