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 |
Wed, 28 Jan 2009 16:29:16 +0100 | nipkow | Replaced group_ and ring_simps by algebra_simps; | file | diff | annotate |
Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |
Sun, 23 Apr 2006 10:57:48 +0200 | obua | added LP.thy | file | diff | annotate |