| Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Fri, 17 Dec 2010 17:08:56 +0100 | wenzelm | renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning; | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Sun, 07 Mar 2010 12:19:47 +0100 | wenzelm | modernized structure Object_Logic; | file | diff | annotate |
| Sun, 07 Mar 2010 11:57:16 +0100 | wenzelm | modernized structure Local_Defs; | file | diff | annotate |
| Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Thu, 03 Jul 2008 17:47:22 +0200 | huffman | move nonstandard analysis theories to NSA directory | file | diff | annotate |