remove "fast_descs" option from Nitpick;
the option has been unsound for over a year and is too imprecise to be of any use when made sound
(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1998 University of Cambridge
*)
(*Verifying security protocols using UNITY*)
no_document use_thys ["../Auth/Public"];
use_thys [
"UNITY_Main", (*Basic meta-theory*)
"UNITY_Examples" (*Examples*)
];