mn200/HOL — Issue #41: Reinstate Reference Manual's list of theorems
Author: mn200
Created: 2011-10-14 00:14:59+00:00
State: open
Labels: Documentation, Feature Request

The Reference manual used to include a big list of the core system's theorems. I found this useful when I was learning HOL, so perhaps we should try to do this again. It's not clear if we'd really want to list *all* theorems, even for just the core theories, but I guess a tool that included all theorems from specified theories except for ones that a developer somehow flagged as 'uninteresting' would be the way to go.