Tue, 05 Aug 2008 14:40:48 +0200 | krauss | fix HOL/ex/LexOrds.thy; add to regression | changeset | files |
Tue, 05 Aug 2008 13:31:38 +0200 | wenzelm | added report; | changeset | files |
Tue, 05 Aug 2008 13:31:36 +0200 | wenzelm | removed axiom; | changeset | files |
Tue, 05 Aug 2008 13:31:35 +0200 | wenzelm | get_fact: report position; | changeset | files |
Tue, 05 Aug 2008 13:31:31 +0200 | wenzelm | Facts.lookup: return static/dynamic status; | changeset | files |
Mon, 04 Aug 2008 22:55:10 +0200 | wenzelm | position scanner: encode token range; | changeset | files |