2017-08-31 HOL-TestGen (future 1.9.1) * based Isabelle 2016-1 2017-07-19 HOL-TestGen 1.9.0 * based Isabelle 2016 2016-04-23 HOL-TestGen 1.8.0 * based Isabelle 2013-2 2012-10-15 HOL-TestGen 1.7.0 * based on Isabelle 2011-1 2010-07-09 HOL-TestGen 1.6.0 * based on Isabelle 2011 2010-04-02 HOL-TestGen 1.5.0 * based on Isabelle 2009 2008-06-19 HOL-TestGen 1.4.0 * based on Isabelle 2008 2007-02-09 HOL-TestGen 1.3.0 2006-10-10 HOL-TestGen 1.2.0 2005-12-12 HOL-TestGen 1.1.1 2005-10-11 HOL-TestGen 1.1.0 * based on Isabelle 2005 2005-03-19 HOL-TestGen 1.0.1 2005-03-07 HOL-TestGen 1.0.0