| Mon, 14 Jan 2013 14:33:53 +0100 | kuncar | more update on Lifting in isar-ref | file | diff | annotate |
| Mon, 14 Jan 2013 13:43:58 +0100 | kuncar | update isar-ref for Quotient and Lifting package | file | diff | annotate |
| Fri, 30 Nov 2012 22:55:02 +0100 | wenzelm | added 'print_inductives' command; | file | diff | annotate |