equal
deleted
inserted
replaced
1 (* Title: Code_Test_GHC.thy |
1 (* Title: HOL/Codegenerator_Test/Code_Test_GHC.thy |
2 Author: Andreas Lochbihler, ETH Zurich |
2 Author: Andreas Lochbihler, ETH Zurich |
3 |
3 |
4 Test case for test_code on GHC |
4 Test case for test_code on GHC |
5 *) |
5 *) |
6 |
6 |