# HG changeset patch
# User wenzelm
# Date 1456824775 -3600
# Node ID f2e8984adef7a8ac9a0dfa96cfd6d828a6770b06
# Parent  716336f19aa9f3b27f09ad0d12f1b6f431fc157d
missing file;

diff -r 716336f19aa9 -r f2e8984adef7 src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy	Tue Mar 01 10:32:55 2016 +0100
@@ -0,0 +1,13 @@
+(*  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
\ No newline at end of file