HOL theorem-proving system Feature Requests

Brought to you by: michaeln, slind

Feature Requests Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
21	Rename HOL's Kernels	None	open	Michael Norrish	2010-06-08	2010-06-11
17	Record updates of polymorphic records	None	open	Michael Norrish	2004-01-19	2004-01-19
16	Holmake outputting dependencies	None	open	Michael Norrish	2003-10-06	2003-10-13
14	Implicit rules for Holmake	None	open	Michael Norrish	2003-02-03	2003-07-10
11	parse in context respect constant types	None	open	Michael Norrish	2002-09-12	2012-12-10
9	Make case expressions compute better in CBV_CONV	None	open		2002-08-29	2002-09-03

(applies to this page only)