equal
deleted
inserted
replaced
1 |
|
2 val accI = thm "acc.accI"; |
|
3 val acc_induct = thm "acc_induct"; |
|
4 val acc_downward = thm "acc_downward"; |
|
5 val acc_downwards = thm "acc_downwards"; |
|
6 val acc_wfI = thm "acc_wfI"; |
|
7 val acc_wfD = thm "acc_wfD"; |
|
8 val wf_acc_iff = thm "wf_acc_iff"; |
|