| changeset 37744 | 3daaf23b9ab4 |
| parent 33518 | 24563731b9b2 |
| 37743:0a3fa8fbcdc5 | 37744:3daaf23b9ab4 |
|---|---|
1 (* Title: HOL/Library/reflection_data.ML |
1 (* Title: HOL/Library/reify_data.ML |
2 Author: Amine Chaieb, TU Muenchen |
2 Author: Amine Chaieb, TU Muenchen |
3 |
3 |
4 Data for the reification and reflection methods. |
4 Data for the reification and reflection methods. |
5 *) |
5 *) |
6 |
6 |