isabelle: src/Pure/Thy/thy_info.ML@0cfbf76ed313 (annotated)

3604 6bf9f09f3d61 Moved functions for theory information storage / retrieval berghofe parents: diff changeset	1	(* Title: Pure/Thy/thy_info.ML
6bf9f09f3d61 Moved functions for theory information storage / retrieval berghofe parents: diff changeset	2	ID: $Id$
6211 43d0efafa025 Theory loader database: theory and file dependencies, theory values wenzelm parents: 5211 diff changeset	3	Author: Markus Wenzel, TU Muenchen
3604 6bf9f09f3d61 Moved functions for theory information storage / retrieval berghofe parents: diff changeset	4
15801 d2f5ca3c048d superceded by Pure.thy and CPure.thy; wenzelm parents: 15633 diff changeset	5	Main part of theory loader database, including handling of theory and
d2f5ca3c048d superceded by Pure.thy and CPure.thy; wenzelm parents: 15633 diff changeset	6	file dependencies.
3976 1030dd79720b tuned; wenzelm parents: 3604 diff changeset	7	*)
3604 6bf9f09f3d61 Moved functions for theory information storage / retrieval berghofe parents: diff changeset	8
5209 a69fe5a61b6c theory_of renamed to theory (and made public); wenzelm parents: 4975 diff changeset	9	signature BASIC_THY_INFO =
a69fe5a61b6c theory_of renamed to theory (and made public); wenzelm parents: 4975 diff changeset	10	sig
a69fe5a61b6c theory_of renamed to theory (and made public); wenzelm parents: 4975 diff changeset	11	val theory: string -> theory
6241 d3c6184ca6c5 time_use made pervasive; wenzelm parents: 6233 diff changeset	12	(val use: string -> unit) (exported later)
d3c6184ca6c5 time_use made pervasive; wenzelm parents: 6233 diff changeset	13	val time_use: string -> unit
6211 43d0efafa025 Theory loader database: theory and file dependencies, theory values wenzelm parents: 5211 diff changeset	14	val touch_thy: string -> unit

author	haftmann
	Wed, 31 Aug 2005 09:37:12 +0200
changeset 17192	0cfbf76ed313
parent 16504	7c1cb7ce24eb
child 17365	a8e19032497d
permissions	-rw-r--r--