Tue, 27 Oct 2009 22:56:14 +0100 | wenzelm | eliminated some old folds; | file | diff | annotate |
Wed, 02 Sep 2009 16:25:44 +0200 | wenzelm | reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools; | file | diff | annotate |
Sun, 13 May 2007 18:15:26 +0200 | haftmann | whitespace tuned | file | diff | annotate |
Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
Mon, 05 Sep 2005 17:38:18 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
Thu, 14 Jul 2005 19:28:20 +0200 | wenzelm | use existing Inttab; | file | diff | annotate |
Wed, 13 Jul 2005 09:53:50 +0200 | obua | - added cplex package to HOL/Matrix | file | diff | annotate |