equal
deleted
inserted
replaced
1 (*<*) |
1 (*<*) |
2 theory Itrev = Main:; |
2 theory Itrev imports Main begin; |
3 (*>*) |
3 (*>*) |
4 |
4 |
5 section{*Induction Heuristics*} |
5 section{*Induction Heuristics*} |
6 |
6 |
7 text{*\label{sec:InductionHeuristics} |
7 text{*\label{sec:InductionHeuristics} |