The link from the PVS' users page to Chris Pratten's AMN Proof Tool is broken. Anyone have a working URl for this work? -- *E-mail*a.a.adams@rdg.ac.uk******** Dr Andrew A Adams **snail*23 Ivydene Road************ Dept of Comp Sci ***mail*Reading RG30 1HT, UK******* University of Reading ****Tel*+44-118-956-0607*********** Reading