Mon, 01 Jun 2015 18:07:36 +0200 | wenzelm | clarified context; | file | diff | annotate |
Fri, 06 Mar 2015 15:58:56 +0100 | wenzelm | Thm.cterm_of and Thm.ctyp_of operate on local context; | file | diff | annotate |
Wed, 04 Mar 2015 22:05:01 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
Tue, 14 Oct 2014 10:52:46 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
Tue, 30 Jul 2013 15:09:25 +0200 | wenzelm | type theory is purely value-oriented; | file | diff | annotate |
Fri, 13 Apr 2012 14:00:26 +0200 | wenzelm | updated headers; | file | diff | annotate |
Sat, 17 Mar 2012 12:52:40 +0100 | wenzelm | renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; | file | diff | annotate | base |