equal
deleted
inserted
replaced
1 (* Title: HOL/Library/Wfrec.thy |
1 (* Title: HOL/Wfrec.thy |
2 Author: Tobias Nipkow |
2 Author: Tobias Nipkow |
3 Author: Lawrence C Paulson |
3 Author: Lawrence C Paulson |
4 Author: Konrad Slind |
4 Author: Konrad Slind |
5 *) |
5 *) |
6 |
6 |