src/Doc/Tutorial/Protocol/Event.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 26 Dec 2018 16:25:20 +0100 wenzelm isabelle update_cartouches -t;
less more (0) -10 -2 tip