wenzelm [Mon, 21 Jun 2021 20:06:12 +0200] rev 60313
Isar command 'calculation' as front-end for KEStore_Elems.add_calcs, without change of semantics;
wenzelm [Mon, 21 Jun 2021 16:18:27 +0200] rev 60312
more antiquotations, without change of semantics;
wenzelm [Mon, 21 Jun 2021 15:50:58 +0200] rev 60311
updated TODO;
wenzelm [Mon, 21 Jun 2021 15:42:53 +0200] rev 60310
proper formal names for consts/types, *with* change of semantics;
wenzelm [Mon, 21 Jun 2021 15:36:09 +0200] rev 60309
more antiquotations for Isabelle/HOL consts/types, without change of semantics;
wenzelm [Mon, 21 Jun 2021 14:39:52 +0200] rev 60308
proper UTF-8;
wenzelm [Sun, 20 Jun 2021 16:30:56 +0200] rev 60307
tuned --- adapted to problem.sml;
wenzelm [Sun, 20 Jun 2021 16:26:18 +0200] rev 60306
Isar command 'problem' as combination of KEStore_Elems.add_pbts + Problem.prep_import, without change of semantics;
wenzelm [Sun, 20 Jun 2021 12:45:03 +0200] rev 60305
tuned;
wenzelm [Wed, 16 Jun 2021 12:56:09 +0200] rev 60304
updated TODO;