HOL theorem-proving system / Bugs

Bugs 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
67	Default Build Generates Various Warnings	None	open		2010-09-30	2014-01-05
33	tutorial refers to non-existent files	None	open-accepted		2002-09-04	2002-09-04