equal
deleted
inserted
replaced
1 (* Title: HOL/BNF/Examples/Process.thy |
1 (* Title: HOL/BNF_Examples/Process.thy |
2 Author: Andrei Popescu, TU Muenchen |
2 Author: Andrei Popescu, TU Muenchen |
3 Copyright 2012 |
3 Copyright 2012 |
4 |
4 |
5 Processes. |
5 Processes. |
6 *) |
6 *) |