Skip to content
Failed

Changes

Summary

  1. fixed broken \nexists
Changeset 6429:f65e6ebdf415 by nipkow:
fixed broken \nexists
The file was modified thys/Inductive_Confidentiality/document/root.tex (diff)