equal
deleted
inserted
replaced
1 (* Title: Examples.thy |
1 (* Title: HOL/Eisbach/Examples.thy |
2 Author: Daniel Matichuk, NICTA/UNSW |
2 Author: Daniel Matichuk, NICTA/UNSW |
3 *) |
3 *) |
4 |
4 |
5 section \<open>Basic Eisbach examples\<close> |
5 section \<open>Basic Eisbach examples\<close> |
6 |
6 |