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
|