changeset 66646 | 383d8e388d1b |
parent 66631 | c275542d6838 |
child 67399 | eab6ce8368fa |
--- a/src/HOL/Tools/Nunchaku/nunchaku_commands.ML Fri Sep 08 15:48:58 2017 +0100 +++ b/src/HOL/Tools/Nunchaku/nunchaku_commands.ML Fri Sep 08 19:22:47 2017 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Nunchaku/Tools/nunchaku_commands.ML +(* Title: HOL/Tools/Nunchaku/nunchaku_commands.ML Author: Jasmin Blanchette, VU Amsterdam Copyright 2015, 2016, 2017