Tue, 09 Aug 2011 15:50:13 +0200 |
misc tuning and simplification;
|
file | diff | annotate |
Thu, 09 Jun 2011 16:34:49 +0200 |
discontinued Name.variant to emphasize that this is old-style / indirect;
|
file | diff | annotate |
Wed, 15 Dec 2010 15:11:56 +0100 |
avoid ML structure aliases (especially single-letter abbreviations);
|
file | diff | annotate |
Fri, 26 Nov 2010 22:29:41 +0100 |
make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;
|
file | diff | annotate |
Mon, 17 May 2010 23:54:15 +0200 |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
file | diff | annotate |
Tue, 27 Oct 2009 17:34:00 +0100 |
normalized basic type abbreviations;
|
file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file | diff | annotate |
Tue, 29 Sep 2009 16:24:36 +0200 |
explicit indication of Unsynchronized.ref;
|
file | diff | annotate |
Thu, 23 Jul 2009 18:44:09 +0200 |
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
|
file | diff | annotate |
Fri, 17 Jul 2009 21:33:00 +0200 |
tuned/modernized Envir operations;
|
file | diff | annotate |
Sat, 30 May 2009 13:12:15 +0200 |
minimal signature cleanup;
|
file | diff | annotate |
Fri, 13 Mar 2009 21:25:15 +0100 |
eliminated type Args.T;
|
file | diff | annotate |
Fri, 13 Mar 2009 19:58:26 +0100 |
unified type Proof.method and pervasive METHOD combinators;
|
file | diff | annotate |
Fri, 06 Mar 2009 22:32:27 +0100 |
replaced archaic use of rep_ss by Simplifier.mksimps;
|
file | diff | annotate |
Sat, 28 Feb 2009 14:02:12 +0100 |
moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete;
|
file | diff | annotate | base |