--- a/src/Pure/Thy/present.ML Sun May 06 21:50:17 2007 +0200
+++ b/src/Pure/Thy/present.ML Mon May 07 00:49:59 2007 +0200
@@ -75,17 +75,13 @@
(** additional theory data **)
structure BrowserInfoData = TheoryDataFun
-(struct
- val name = "Pure/browser_info";
+(
type T = {name: string, session: string list, is_local: bool};
val empty = {name = "", session = [], is_local = false}: T;
val copy = I;
fun extend _ = empty;
fun merge _ _ = empty;
- fun print _ _ = ();
-end);
-
-val _ = Context.add_setup BrowserInfoData.init;
+);
fun get_info thy =
if member (op =) [Context.ProtoPureN, Context.PureN, Context.CPureN] (Context.theory_name thy)