| Fri, 29 Oct 2021 13:04:51 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Sat, 23 Dec 2017 19:02:11 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 01 Jun 2016 15:33:45 +0200 | wenzelm | clarified string_of_rat operations; | file | diff | annotate |
| Wed, 01 Jun 2016 15:10:27 +0200 | wenzelm | prefer rat numberals; | file | diff | annotate |
| Wed, 01 Jun 2016 10:45:35 +0200 | wenzelm | tuned signature; | 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 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 |