---
title: Work log 2016-08-17
---

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`