src/ZF/Resid/Cube.thy
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-04-13 lcp 1995-04-13 New example by Ole Rasmussen