diff src/m/sequent-ptx.h @ 74402:91577a136109

*** empty log message ***
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Mon, 04 Dec 2006 08:18:09 +0000
parents 3bd95f4f2941
children e90d04cd455a c5406394f567
line wrap: on
line diff