5 Commits (18f16bfe1cd2cfddae85ff724929a0667c37df23)

Author	SHA1	Message	Date
Alexander Bentkamp	27532a7688	fix errors during merge	3 years ago
Alexander Bentkamp	f540b63764	test example	3 years ago
Jon Eugster	93d05c9703	rename [New/Only/Disabled][Tactic/Lemma/Definition]	3 years ago
Jon Eugster	a18582a5f8	levels	3 years ago
Jon Eugster	0ebf890392	levels	3 years ago