Versions of Kobayashi, Hidetsune: OGR.tar.gz

The following ftp links point to thy files for Isabelle/HOL

2003, December 2