| Sun, 07 Mar 2010 12:19:47 +0100 | wenzelm | modernized structure Object_Logic; | file | diff | annotate |
| Wed, 21 Oct 2009 10:15:31 +0200 | haftmann | removed old-style \ and \\ infixes | file | diff | annotate |
| Tue, 20 Oct 2009 20:54:31 +0200 | wenzelm | uniform use of Integer.min/max; | file | diff | annotate |
| Mon, 19 Oct 2009 21:54:57 +0200 | wenzelm | uniform use of Integer.add/mult/sum/prod; | file | diff | annotate |
| Thu, 02 Jul 2009 17:34:14 +0200 | wenzelm | renamed NamedThmsFun to Named_Thms; | file | diff | annotate |
| Fri, 13 Mar 2009 23:50:05 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Sat, 28 Feb 2009 14:09:58 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 14 Jul 2008 17:02:55 +0200 | krauss | renamed conversions to _conv, tuned | file | diff | annotate |
| Tue, 08 Apr 2008 20:09:54 +0200 | krauss | added missing file | file | diff | annotate |