coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-11	[refman] Rename numeral to number	Pierre Roux
2020-09-11	[refman] Rename num to natural	Pierre Roux
2020-08-15	Document semantic restriction on patterns	Jim Fehrle
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-14	Reintroduce leftover parts; update index files; small fixes.	Théo Zimmermann
2020-05-13	Merge sections on variants and match into new file.	Théo Zimmermann
2020-05-13	Merge sections on Variants and Private inductive types into new file.	Théo Zimmermann
2020-05-13	Add match to new file on Variants.	Théo Zimmermann
2020-05-13	Create a new file on Variants.	Théo Zimmermann
2020-05-13	Create a new file on Variants.	Théo Zimmermann