link to undocumented entry in reference manual

CJex / hol-light

HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light

Other

1 stars 0 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Reference manual of REWRITE_CONV points to undocumented SUBST_CONV.

Original issue reported on code.google.com by piotr.tr...@gmail.com on 24 Jul 2014 at 1:27

GoogleCodeExporter commented 9 years ago

Thanks --- should have been SUBS_CONV. Fixed in r205.

Original comment by jrh...@gmail.com on 16 Nov 2014 at 8:32