Sat, 07 Oct 2017 14:57:54 +0200 | wenzelm | merged | changeset | files |
Sat, 07 Oct 2017 13:13:46 +0200 | wenzelm | clarified empty merge; | changeset | files |
Sat, 07 Oct 2017 12:50:05 +0200 | wenzelm | permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make; | changeset | files |