isabelle: src/Pure/ROOT@2733b240bfea (annotated)

51397 03b586ee5930 support for 'chapter' specifications within session ROOT; wenzelm parents: 50911 diff changeset	1	chapter Pure
03b586ee5930 support for 'chapter' specifications within session ROOT; wenzelm parents: 50911 diff changeset	2
48738 f8c1a5b9488f simplified session specifications: names are taken verbatim and current directory is default; wenzelm parents: 48732 diff changeset	3	session Pure =
56801 8dd9df88f647 some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path; wenzelm parents: 56435 diff changeset	4	global_theories Pure
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	5	files
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	6	"Concurrent/cache.ML"
60908 d32915a03c63 more accurate dependencies; wenzelm parents: 60745 diff changeset	7	"Concurrent/counter.ML"
52050 b40ed9dcf903 event timer as separate service thread; wenzelm parents: 52010 diff changeset	8	"Concurrent/event_timer.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	9	"Concurrent/future.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	10	"Concurrent/lazy.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	11	"Concurrent/mailbox.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	12	"Concurrent/multithreading.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	13	"Concurrent/par_exn.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	14	"Concurrent/par_list.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	15	"Concurrent/single_assignment.ML"
61556 0d4ee4168e41 clarified modules; wenzelm parents: 61441 diff changeset	16	"Concurrent/standard_thread.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	17	"Concurrent/synchronized.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	18	"Concurrent/task_queue.ML"
62519 a564458f94db tuned signature -- clarified modules; wenzelm parents: 62517 diff changeset	19	"Concurrent/timeout.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	20	"Concurrent/unsynchronized.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	21	"General/alist.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	22	"General/antiquote.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	23	"General/balanced_tree.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	24	"General/basics.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	25	"General/binding.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	26	"General/buffer.ML"
56053 030531cc4c62 tables with changes relative to some common base version -- support for efficient join/merge of big global tables with small local updates; wenzelm parents: 55672 diff changeset	27	"General/change_table.ML"
55672 5e25cc741ab9 support for completion within the formal context; wenzelm parents: 55516 diff changeset	28	"General/completion.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	29	"General/exn.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	30	"General/file.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	31	"General/graph.ML"
49561 26fc70e983c2 separate module Graph_Display; wenzelm parents: 48916 diff changeset	32	"General/graph_display.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	33	"General/heap.ML"
59064 a8bcb5a446c8 more abstract type Input.source; wenzelm parents: 59026 diff changeset	34	"General/input.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	35	"General/integer.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	36	"General/linear_set.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	37	"General/long_name.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	38	"General/name_space.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	39	"General/ord_list.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	40	"General/output.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	41	"General/path.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	42	"General/position.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	43	"General/pretty.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	44	"General/print_mode.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	45	"General/properties.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	46	"General/queue.ML"
62585 5d4ed917450d clarified files; wenzelm parents: 62584 diff changeset	47	"General/random.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	48	"General/same.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	49	"General/scan.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	50	"General/seq.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	51	"General/sha1.ML"
50800 c0fb2839d1a9 recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x; wenzelm parents: 50686 diff changeset	52	"General/socket_io.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	53	"General/source.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	54	"General/stack.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	55	"General/symbol.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	56	"General/symbol_pos.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	57	"General/table.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	58	"General/timing.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	59	"General/url.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	60	"Isar/args.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	61	"Isar/attrib.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	62	"Isar/auto_bind.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	63	"Isar/bundle.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	64	"Isar/class.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	65	"Isar/class_declaration.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	66	"Isar/code.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	67	"Isar/context_rules.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	68	"Isar/element.ML"
59901 840d03805755 added command 'experiment'; wenzelm parents: 59714 diff changeset	69	"Isar/experiment.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	70	"Isar/expression.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	71	"Isar/generic_target.ML"
61677 a97232cf1981 leftover from 27ca6147e3b3 haftmann parents: 61619 diff changeset	72	"Isar/interpretation.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	73	"Isar/isar_cmd.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	74	"Isar/keyword.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	75	"Isar/local_defs.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	76	"Isar/local_theory.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	77	"Isar/locale.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	78	"Isar/method.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	79	"Isar/named_target.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	80	"Isar/object_logic.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	81	"Isar/obtain.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	82	"Isar/outer_syntax.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	83	"Isar/overloading.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	84	"Isar/parse.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	85	"Isar/parse_spec.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	86	"Isar/proof.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	87	"Isar/proof_context.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	88	"Isar/proof_display.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	89	"Isar/proof_node.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	90	"Isar/rule_cases.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	91	"Isar/runtime.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	92	"Isar/spec_rules.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	93	"Isar/specification.ML"
60630 fc7625ec7427 clarified module; wenzelm parents: 59901 diff changeset	94	"Isar/subgoal.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	95	"Isar/token.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	96	"Isar/toplevel.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	97	"Isar/typedecl.ML"
62498 5dfcc9697f29 support for ML_exception_debugger; wenzelm parents: 62494 diff changeset	98	"ML/exn_debugger.ML"
62355 00f7618a9f2b clarified file names; wenzelm parents: 62354 diff changeset	99	"ML/exn_properties.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	100	"ML/fixed_int_dummy.ML"
56072 31e427387ab5 tuned signature -- clarified module name; wenzelm parents: 56053 diff changeset	101	"ML/ml_antiquotation.ML"
62355 00f7618a9f2b clarified file names; wenzelm parents: 62354 diff changeset	102	"ML/ml_compiler.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	103	"ML/ml_compiler0.ML"
62817 744bfd770123 clarified modules; wenzelm parents: 62668 diff changeset	104	"ML/ml_compiler1.ML"
744bfd770123 clarified modules; wenzelm parents: 62668 diff changeset	105	"ML/ml_compiler2.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	106	"ML/ml_context.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	107	"ML/ml_debugger.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	108	"ML/ml_env.ML"
58928 23d0ffd48006 plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; wenzelm parents: 58846 diff changeset	109	"ML/ml_file.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	110	"ML/ml_heap.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	111	"ML/ml_lex.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	112	"ML/ml_name_space.ML"
60908 d32915a03c63 more accurate dependencies; wenzelm parents: 60745 diff changeset	113	"ML/ml_options.ML"
62665 a78ce0c6e191 clarified modules; wenzelm parents: 62585 diff changeset	114	"ML/ml_pp.ML"
62818 2733b240bfea clarified modules; wenzelm parents: 62817 diff changeset	115	"ML/ml_pervasive.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	116	"ML/ml_pretty.ML"
d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	117	"ML/ml_profiling.ML"
62459 7a5d88dd8cc9 support only polyml-5.3.0 and polyml-5.6; wenzelm parents: 62387 diff changeset	118	"ML/ml_statistics.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	119	"ML/ml_syntax.ML"
62508 d0b68218ea55 discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; wenzelm parents: 62505 diff changeset	120	"ML/ml_system.ML"
50450 358b6020f8b6 generalized notion of active area, where sendback is just one application; wenzelm parents: 50255 diff changeset	121	"PIDE/active.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	122	"PIDE/command.ML"
57905 c0c5652e796e separate module Command_Span: mostly syntactic representation; wenzelm parents: 56801 diff changeset	123	"PIDE/command_span.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	124	"PIDE/document.ML"
52530 99dd8b4ef3fe explicit module Document_ID as source of globally unique identifiers across ML/Scala; wenzelm parents: 52211 diff changeset	125	"PIDE/document_id.ML"
52605 a2a805549c74 clarified module name; wenzelm parents: 52596 diff changeset	126	"PIDE/execution.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	127	"PIDE/markup.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	128	"PIDE/protocol.ML"
59714 ae322325adbb tuned protocol -- resolve command positions in ML; wenzelm parents: 59470 diff changeset	129	"PIDE/protocol_message.ML"
52865 02a7e7180ee5 slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay; wenzelm parents: 52836 diff changeset	130	"PIDE/query_operation.ML"
56208 06cc31dff138 clarifed module name; wenzelm parents: 56072 diff changeset	131	"PIDE/resources.ML"
56210 c7c85cdb725d clarified module arrangement; wenzelm parents: 56208 diff changeset	132	"PIDE/session.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	133	"PIDE/xml.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	134	"PIDE/yxml.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	135	"Proof/extraction.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	136	"Proof/proof_checker.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	137	"Proof/proof_rewrite_rules.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	138	"Proof/proof_syntax.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	139	"Proof/reconstruct.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	140	"ROOT.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	141	"Syntax/ast.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	142	"Syntax/lexicon.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	143	"Syntax/local_syntax.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	144	"Syntax/mixfix.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	145	"Syntax/parser.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	146	"Syntax/printer.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	147	"Syntax/simple_syntax.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	148	"Syntax/syntax.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	149	"Syntax/syntax_ext.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	150	"Syntax/syntax_phases.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	151	"Syntax/syntax_trans.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	152	"Syntax/term_position.ML"
52211 66bc827e37f8 explicit support for type annotations within printed syntax trees; wenzelm parents: 52050 diff changeset	153	"Syntax/type_annotation.ML"
62584 6cd36a0d2a28 clarified files; wenzelm parents: 62519 diff changeset	154	"System/bash.ML"
6cd36a0d2a28 clarified files; wenzelm parents: 62519 diff changeset	155	"System/bash_windows.ML"
48681 181b91e1d1c1 prefer general Command_Line.tool wrapper (cf. Scala version); wenzelm parents: 48646 diff changeset	156	"System/command_line.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	157	"System/invoke_scala.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	158	"System/isabelle_process.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	159	"System/isabelle_system.ML"
52584 5cad4a5f5615 more abstract message channel; wenzelm parents: 52530 diff changeset	160	"System/message_channel.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	161	"System/options.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	162	"System/system_channel.ML"
61619 f22054b192b0 clarified modules; wenzelm parents: 61556 diff changeset	163	"Thy/document_antiquotations.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	164	"Thy/html.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	165	"Thy/latex.ML"
61441 20ff1d5c74e1 minimal support for Markdown documents; wenzelm parents: 61268 diff changeset	166	"Thy/markdown.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	167	"Thy/present.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	168	"Thy/term_style.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	169	"Thy/thy_header.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	170	"Thy/thy_info.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	171	"Thy/thy_output.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	172	"Thy/thy_syntax.ML"
50686 d703e3aafa8c moved files; wenzelm parents: 50450 diff changeset	173	"Tools/build.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	174	"Tools/named_thms.ML"
58660 8d4aebb9e327 clarified load order; wenzelm parents: 58470 diff changeset	175	"Tools/plugin.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	176	"assumption.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	177	"axclass.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	178	"config.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	179	"conjunction.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	180	"consts.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	181	"context.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	182	"context_position.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	183	"conv.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	184	"defs.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	185	"drule.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	186	"envir.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	187	"facts.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	188	"global_theory.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	189	"goal.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	190	"goal_display.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	191	"item_net.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	192	"library.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	193	"logic.ML"
59026 30b8a5825a9c removed some add-ons from modules that are relevant for the inference kernel; wenzelm parents: 58928 diff changeset	194	"more_pattern.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	195	"more_thm.ML"
59026 30b8a5825a9c removed some add-ons from modules that are relevant for the inference kernel; wenzelm parents: 58928 diff changeset	196	"more_unify.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	197	"morphism.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	198	"name.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	199	"net.ML"
58009 987c848d509b clarified modules; wenzelm parents: 57934 diff changeset	200	"par_tactical.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	201	"pattern.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	202	"primitive_defs.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	203	"proofterm.ML"
48879 cb5cdbb645cd clarified bootstrapping of Pure; wenzelm parents: 48738 diff changeset	204	"pure_syn.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	205	"pure_thy.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	206	"raw_simplifier.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	207	"search.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	208	"sign.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	209	"simplifier.ML"
51551 88d1d19fb74f tuned signature and module arrangement; wenzelm parents: 51397 diff changeset	210	"skip_proof.ML"
48514 84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	211	"sorts.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	212	"tactic.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	213	"tactical.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	214	"term.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	215	"term_ord.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	216	"term_sharing.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	217	"term_subst.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	218	"term_xml.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	219	"theory.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	220	"thm.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	221	"type.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	222	"type_infer.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	223	"type_infer_context.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	224	"unify.ML"
84df8858c8ac more files for session Pure; wenzelm parents: 48422 diff changeset	225	"variable.ML"

author	wenzelm
	Sat, 02 Apr 2016 20:33:34 +0200
changeset 62818	2733b240bfea
parent 62817	744bfd770123
child 62845	31177a9c3025
permissions	-rw-r--r--