blob: b21a5ef0a0661fa0e5ce82c120a5e25668017fcd (
plain)
1
2
3
4
5
|
=========================================================================
| IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned |
| by the Proof General project; please update your links to use the |
| new web address http://proofgeneral.inf.ed.ac.uk. |
=========================================================================
|