Mon, 11 Jun 2018 08:15:43 +0200 | nipkow | added lemma | changeset | files |
Sat, 09 Jun 2018 21:52:16 +0200 | wenzelm | clarified signature: more uniform theory_message (see also d7920eb7de54); | changeset | files |
Sat, 09 Jun 2018 13:19:57 +0200 | wenzelm | tuned -- use existing operation; | changeset | files |