diff options
author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-23 10:20:54 +0100 |
---|---|---|
committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-23 10:20:54 +0100 |
commit | fb11671ea6927db9b4f48d8e59546218c90acdca (patch) | |
tree | 2dd41aa2290fec3acb575151acb2f41dac841cb6 /hcar.tex | |
parent | f9adfbae6cb117c60fefb4885632097d2aa32184 (diff) |
Remaining fixes for PredTy removal
Diffstat (limited to 'hcar.tex')
0 files changed, 0 insertions, 0 deletions