#
7677e8e2 |
|
06-Aug-2010 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Moved documentation from src/*/help/entries directories to help/Docfiles. This makes this documentation accessible from the HTML help pages. I've added Arith, Cond_rewrite and res_quanTools to Keepers.sml. This exposes some quite old documentation, with examples coming from an older version of HOL. Other irregularities may exist, since I've moved a lot of files.
|