src/HOL/ex/Termination.thy
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