proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
(* Title: HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy
Author: Jacques D. Fleuriot, University of Cambridge
Author: Lawrence C Paulson, University of Cambridge
Author: Brian Huffman
Nonstandard analysis.
*)
theory Nonstandard_Analysis
imports Hypercomplex
begin
end