| Mon, 28 Apr 2008 20:21:11 +0200 | haftmann | thms Max_ge, Min_le: dropped superfluous premise | file | diff | annotate |
| Mon, 17 Mar 2008 18:37:05 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:17 +0100 | haftmann | removed some legacy instantiations | file | diff | annotate |
| Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |
| Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:14 +0100 | haftmann | tuned | file | diff | annotate |