| Tue, 03 Apr 2012 16:26:48 +0200 | kuncar | new package Lifting - initial commit | file | diff | annotate |
| Fri, 23 Mar 2012 14:17:29 +0100 | kuncar | fix Quotient_Examples | file | diff | annotate |
| Mon, 26 Dec 2011 22:17:10 +0100 | haftmann | incorporated More_Set and More_List into the Main body -- to be consolidated later | file | diff | annotate |
| Wed, 12 Oct 2011 20:16:48 +0200 | wenzelm | tuned proofs -- eliminated vacuous "induct arbitrary: ..." situations; | file | diff | annotate |