| Fri, 28 Oct 2011 23:41:16 +0200 |
tuned Named_Thms: proper binding;
|
file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 |
modernized structure Proof_Context;
|
file | diff | annotate |
| Thu, 24 Mar 2011 16:56:19 +0100 |
added Term.is_open and Term.is_dependent convenience, to cover common situations of loose bounds;
|
file | diff | annotate |
| Fri, 17 Dec 2010 17:08:56 +0100 |
renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
|
file | diff | annotate |
| Sun, 07 Mar 2010 12:19:47 +0100 |
modernized structure Object_Logic;
|
file | diff | annotate |
| Wed, 21 Oct 2009 10:15:31 +0200 |
removed old-style \ and \\ infixes
|
file | diff | annotate |
| Tue, 20 Oct 2009 20:54:31 +0200 |
uniform use of Integer.min/max;
|
file | diff | annotate |
| Mon, 19 Oct 2009 21:54:57 +0200 |
uniform use of Integer.add/mult/sum/prod;
|
file | diff | annotate |
| Thu, 02 Jul 2009 17:34:14 +0200 |
renamed NamedThmsFun to Named_Thms;
|
file | diff | annotate |
| Fri, 13 Mar 2009 23:50:05 +0100 |
simplified method setup;
|
file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 |
unified type Proof.method and pervasive METHOD combinators;
|
file | diff | annotate |
| Sat, 28 Feb 2009 14:09:58 +0100 |
removed Ids;
|
file | diff | annotate |
| Mon, 14 Jul 2008 17:02:55 +0200 |
renamed conversions to _conv, tuned
|
file | diff | annotate |
| Tue, 08 Apr 2008 20:09:54 +0200 |
added missing file
|
file | diff | annotate |