4 months ago wenzelm clarified modules and signature;
4 months ago wenzelm proper fbreaks (amending 53f12ab896e6);
5 months ago wenzelm more inner syntax markup: minor object-logics;
5 months ago wenzelm more inner syntax markup: Pure;
5 months ago wenzelm more markup elements;
5 months ago wenzelm standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
5 months ago wenzelm proper Haskell setup, following 406a85a25189;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip