isabelle: File revisions

src/Pure/term_ord.ML

Wed, 13 Jul 2011 20:36:18 +0200	wenzelm	sub-structural sharing after Syntax.check phase, with global interning of logical entities (the latter is relevant when bypassing default parsing via YXML);	file \| diff \| annotate
Tue, 20 Jul 2010 14:44:33 +0200	wenzelm	eliminated old-style sys_error/SYS_ERROR in favour of exception Fail -- after careful checking that there is no overlap with existing handling of that;	file \| diff \| annotate
Sat, 27 Feb 2010 23:13:01 +0100	wenzelm	modernized structure Term_Ord;	file \| diff \| annotate
Sat, 27 Feb 2010 22:52:06 +0100	wenzelm	further standard instances of functor Graph;	file \| diff \| annotate
Sat, 27 Feb 2010 21:56:55 +0100	wenzelm	just one copy of structure Term_Graph (in Pure);	file \| diff \| annotate
Thu, 01 Oct 2009 22:39:58 +0200	wenzelm	added term_cache;	file \| diff \| annotate
Thu, 09 Jul 2009 22:36:11 +0200	wenzelm	Sorttab in Pure;	file \| diff \| annotate
Thu, 09 Jul 2009 22:01:41 +0200	wenzelm	renamed functor TableFun to Table, and GraphFun to Graph;	file \| diff \| annotate
Wed, 31 Dec 2008 15:30:10 +0100	wenzelm	moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);	file \| diff \| annotate

isabelle