| Thu, 08 May 2008 12:29:18 +0200 | wenzelm | converted HOL specific elements; | file | diff | annotate |
| Thu, 08 May 2008 12:27:19 +0200 | wenzelm | added rail setup for verblbrace, verbrbrace; | file | diff | annotate |
| Wed, 07 May 2008 15:32:31 +0200 | wenzelm | removed obsolete conversion guide -- converted only section on tactics; | file | diff | annotate |
| Wed, 07 May 2008 12:38:55 +0200 | wenzelm | added logic-specific sessions; | file | diff | annotate |
| Tue, 06 May 2008 00:10:23 +0200 | wenzelm | moved some railaliases here -- for proper scoping; | file | diff | annotate |
| Mon, 05 May 2008 15:23:21 +0200 | wenzelm | converted generic.tex to Thy/Generic.thy; | file | diff | annotate |