Edwin Brady 61870cb9b2 Change wording in unification errors ... "Can't unify" and "Can't convert" are terrible error messages for programmers, and particularly confusing to explain to beginners, because programmers don't need to know that implementation detail. Changed to "type mismatch" and updated docs accordingly.		2015-05-24 23:23:20 +01:00
..
index.rst	Move tactic proofs out of main tutorial	2015-03-30 09:17:49 +01:00
inductive.rst	Heading normalisation, and reST usage fixes.	2015-03-31 09:47:59 +01:00
interactive.rst	Heading normalisation, and reST usage fixes.	2015-03-31 09:47:59 +01:00
patterns.rst	minor editorials	2015-05-09 00:57:31 +07:00
pluscomm.rst	Change wording in unification errors	2015-05-24 23:23:20 +01:00