changeset 59720 | f893472fff31 |
parent 58626 | 6c473ed0ac70 |
child 61856 | 4b1b85f38944 |
--- a/src/HOL/Codegenerator_Test/Code_Test_Scala.thy Mon Mar 16 16:26:33 2015 +0100 +++ b/src/HOL/Codegenerator_Test/Code_Test_Scala.thy Mon Mar 16 16:59:59 2015 +0100 @@ -1,4 +1,4 @@ -(* Title: Code_Test_Scala.thy +(* Title: HOL/Codegenerator_Test/Code_Test_Scala.thy Author: Andreas Lochbihler, ETH Zurich Test case for test_code on Scala