Wed, 12 Mar 2014 17:02:05 +0100 | wenzelm | more explicit markup and explanation of the improper status of 'back', following the AFP style-guide; | file | diff | annotate |
Sun, 02 Mar 2014 19:00:45 +0100 | wenzelm | clarified names of antiquotations and markup; | file | diff | annotate |
Sat, 25 Jan 2014 22:06:07 +0100 | wenzelm | explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac; | file | diff | annotate |