Mon, 11 Aug 2008 14:50:02 +0200 | haftmann | re-arranged class dense_linear_order | changeset | files |
Mon, 11 Aug 2008 14:50:00 +0200 | haftmann | rudimentary code setup for set operations | changeset | files |
Mon, 11 Aug 2008 14:49:53 +0200 | haftmann | moved class wellorder to theory Orderings | changeset | files |
Sun, 10 Aug 2008 12:38:26 +0200 | wenzelm | added parse_token (from proof_context.ML); | changeset | files |
Sun, 10 Aug 2008 12:38:25 +0200 | wenzelm | read_tyname/const/const_proper: report position; | changeset | files |
Sun, 10 Aug 2008 12:38:24 +0200 | wenzelm | pass position to get_fact; | changeset | files |