| 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 |
| Tue, 20 Nov 2012 14:29:46 +0100 | wenzelm | some documentation for "algebra" in HOL; | file | diff | annotate |
| Sat, 17 Nov 2012 20:10:28 +0100 | wenzelm | tuned structure of Isabelle/HOL; | file | diff | annotate |
| Wed, 31 Oct 2012 11:23:21 +0100 | blanchet | removed "refute" command from Isar manual, now that it has been moved outside "Main" | file | diff | annotate |
| Fri, 12 Oct 2012 21:39:58 +0200 | wenzelm | simplified 'typedef' specifications: discontinued implicit set definition and alternative name; | file | diff | annotate |