equal
deleted
inserted
replaced
1 (* Title: HOL/Reflection/ferrack_tac.ML |
1 (* Title: HOL/Decision_Procs/ferrack_tac.ML |
2 Author: Amine Chaieb, TU Muenchen |
2 Author: Amine Chaieb, TU Muenchen |
3 *) |
3 *) |
4 |
4 |
5 structure Ferrack_Tac = |
5 structure Ferrack_Tac = |
6 struct |
6 struct |