Fri, 24 Sep 2010 15:53:13 +0200 | wenzelm | modernized structure Ord_List; | changeset | files |
Fri, 24 Sep 2010 15:37:36 +0200 | wenzelm | isatest: indicate Isabelle version; | changeset | files |
Fri, 24 Sep 2010 15:30:30 +0200 | wenzelm | actually handle Type.TYPE_MATCH, not arbitrary exceptions; | changeset | files |
Fri, 24 Sep 2010 15:14:55 +0200 | wenzelm | merged | changeset | files |
Fri, 24 Sep 2010 15:11:38 +0200 | haftmann | prefer typewrite tag over raw latex environment | changeset | files |
Fri, 24 Sep 2010 15:11:38 +0200 | haftmann | avoid fragile tranclp syntax; corrected resolution; corrected typo | changeset | files |
Fri, 24 Sep 2010 14:57:17 +0200 | wenzelm | merged | changeset | files |