src/HOL/ex/Termination.thy
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2012-04-29 krauss 2012-04-29 added test case for dependency graph (cf. 2d48bf79b725)
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2009-11-06 krauss 2009-11-06 renamed method sizechange to size_change
2009-08-24 krauss 2009-08-24 some examples for giving measures manually
2008-12-27 krauss 2008-12-27 renamed LexOrds.thy to Termination.thy; examples for sizechange method