add an Index
An Index would be useful for this Project as it is supposed to be a way of looking up definitions, theorems, names and proofs. An Index would really help this
An Index would be useful for this Project as it is supposed to be a way of looking up definitions, theorems, names and proofs. An Index would really help this