| changeset 37936 | 1e4c5015a72e |
| parent 36866 | 426d5781bb25 |
| child 42463 | f270e3e18be5 |
| 37935:7551769de556 | 37936:1e4c5015a72e |
|---|---|
1 (* Title: HOL/UNITY/Priority |
1 (* Title: HOL/UNITY/Comp/Priority.thy |
2 Author: Sidi O Ehmety, Cambridge University Computer Laboratory |
2 Author: Sidi O Ehmety, Cambridge University Computer Laboratory |
3 Copyright 2001 University of Cambridge |
3 Copyright 2001 University of Cambridge |
4 *) |
4 *) |
5 |
5 |
6 header{*The priority system*} |
6 header{*The priority system*} |