Wed, 06 May 2009 16:10:12 +0200 | haftmann | adaptation replaces adaption | changeset | files |
Wed, 06 May 2009 16:01:23 +0200 | haftmann | refined HOL string theories and corresponding ML fragments | changeset | files |
Wed, 06 May 2009 16:01:07 +0200 | haftmann | adaptation replaces adaption | changeset | files |