src/Doc/Implementation/Eq.thy
Tue, 20 Oct 2015 23:53:40 +0200 wenzelm isabelle update_cartouches -t;
Fri, 16 Oct 2015 14:53:26 +0200 wenzelm Markdown support in document text;
less more (0) -2 tip