Thu, 09 Jul 2009 22:13:19 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Tue, 22 Apr 2008 08:33:21 +0200 | haftmann | added theory Sublist_Order | file | diff | annotate |
Tue, 06 Nov 2007 20:27:33 +0100 | wenzelm | removed dependencies on Size_Change_Termination from HOL-Library; | file | diff | annotate |
Tue, 31 Jul 2007 22:21:20 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
Mon, 26 Feb 2007 21:34:16 +0100 | krauss | Added formalization of size-change principle (experimental). | file | diff | annotate |
Sun, 01 Oct 2006 18:29:23 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 01 Aug 2005 11:39:33 +0200 | obua | 1. changed configuration variables for linear programming (Cplex_tools): | file | diff | annotate |
Tue, 03 Jul 2001 22:11:09 +0200 | wenzelm | Library/ROOT.ML moved to Library/Library/ROOT.ML to avoid accidential | file | diff | annotate |