on b97cd4e help sign in
all commits
24f0521Fill in missing EqTable and OrdTable instancesShane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien