changeset 58871 | c399ae4b836f |
parent 57945 | cacb00a569e0 |
child 58963 | 26bf09b95dda |
58870:e2c0d8ef29cb | 58871:c399ae4b836f |
---|---|
1 (* Title: ZF/UNITY/Constrains.thy |
1 (* Title: ZF/UNITY/Constrains.thy |
2 Author: Sidi O Ehmety, Computer Laboratory |
2 Author: Sidi O Ehmety, Computer Laboratory |
3 Copyright 2001 University of Cambridge |
3 Copyright 2001 University of Cambridge |
4 *) |
4 *) |
5 |
5 |
6 header{*Weak Safety Properties*} |
6 section{*Weak Safety Properties*} |
7 |
7 |
8 theory Constrains |
8 theory Constrains |
9 imports UNITY |
9 imports UNITY |
10 begin |
10 begin |
11 |
11 |