Work log 2016-08-17

Posted on 2016-08-17 by Chris Warburton

Reply from Omar:

Original IsaScheme stuff lives at sourceforge.net/projects/isascheme
IsaScheme2011 dir should work in Isabelle2011
Theory files for testing at dream.inf.ed.ac.uk/projects/isascheme