Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
Tue, 03 Mar 2015 19:08:04 +0100 | traytel | eliminated some clones of Proof_Context.cterm_of | file | diff | annotate |
Wed, 08 Oct 2014 10:15:04 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 15 Feb 2014 21:11:29 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
Sat, 23 Jul 2011 16:12:12 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
Sat, 08 Jan 2011 17:39:51 +0100 | wenzelm | renamed Sum_Of_Squares to Sum_of_Squares; | file | diff | annotate | base |