Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/class_target.ML
Mon, 03 May 2010 14:25:56 +0200 wenzelm renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing; file | diff | annotate
Wed, 28 Apr 2010 13:30:17 +0200 haftmann codified comment file | diff | annotate
Sun, 25 Apr 2010 21:18:04 +0200 wenzelm replaced Sorts.rep_algebra by slightly more abstract selectors classes_of/arities_of; file | diff | annotate
Sun, 25 Apr 2010 15:52:03 +0200 wenzelm modernized naming conventions of main Isar proof elements; file | diff | annotate
Sun, 11 Apr 2010 14:30:34 +0200 wenzelm Thm.add_axiom/add_def: return internal name of foundational axiom; file | diff | annotate
Sun, 21 Mar 2010 08:46:49 +0100 haftmann handle hidden polymorphism in class target (without class target syntax, though) file | diff | annotate
Sat, 20 Mar 2010 17:33:11 +0100 wenzelm renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation; file | diff | annotate
Tue, 09 Mar 2010 14:35:02 +0100 wenzelm added ProofContext.tsig_of -- proforma version for local name space only, not logical content; file | diff | annotate
Tue, 23 Feb 2010 10:11:12 +0100 haftmann dropped axclass file | diff | annotate
Mon, 15 Feb 2010 14:04:06 +0100 haftmann clarifed type file | diff | annotate
Sun, 07 Feb 2010 19:33:34 +0100 wenzelm renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation; file | diff | annotate
Mon, 30 Nov 2009 12:28:12 +0100 haftmann dropped some unused bindings file | diff | annotate
Mon, 30 Nov 2009 11:42:48 +0100 haftmann more accurate linerarity file | diff | annotate
Fri, 13 Nov 2009 21:11:15 +0100 wenzelm modernized structure Local_Theory; file | diff | annotate
Sun, 08 Nov 2009 18:43:42 +0100 wenzelm adapted Theory_Data; file | diff | annotate
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data; file | diff | annotate
Sun, 25 Oct 2009 21:35:46 +0100 wenzelm eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion; file | diff | annotate
Sat, 17 Oct 2009 16:58:03 +0200 wenzelm operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode; file | diff | annotate
Sat, 17 Oct 2009 15:57:51 +0200 wenzelm indicate CRITICAL nature of various setmp combinators; file | diff | annotate
Thu, 01 Oct 2009 17:11:48 +0200 haftmann proper merge of interpretation equations file | diff | annotate
Thu, 01 Oct 2009 07:40:25 +0200 ballarin Merged. file | diff | annotate
Wed, 19 Aug 2009 19:35:46 +0200 ballarin Improved comments and api names. file | diff | annotate
Sat, 15 Aug 2009 15:29:54 +0200 haftmann additional checkpoints avoid problems in error situations file | diff | annotate
Wed, 15 Jul 2009 18:20:08 +0200 haftmann simplification of locale interfaces file | diff | annotate
Fri, 10 Jul 2009 07:59:29 +0200 haftmann tuned locale interface file | diff | annotate
Mon, 29 Jun 2009 16:17:57 +0200 haftmann mutual instances file | diff | annotate
Wed, 17 Jun 2009 17:42:41 +0200 haftmann stripped dead comment file | diff | annotate
Sun, 14 Jun 2009 17:20:19 +0200 haftmann axclass command now legacy file | diff | annotate
Tue, 09 Jun 2009 22:59:55 +0200 haftmann tuned make/map/merge combinators file | diff | annotate
Sun, 24 May 2009 15:02:22 +0200 haftmann tuned class user space type system code file | diff | annotate
Wed, 20 May 2009 15:35:13 +0200 haftmann tuned file | diff | annotate
Wed, 20 May 2009 12:09:07 +0200 haftmann avoid potential problem with stale theory file | diff | annotate
Tue, 28 Apr 2009 13:34:48 +0200 haftmann prevent potential failure file | diff | annotate
Sat, 28 Mar 2009 20:25:23 +0100 wenzelm simplified Locale.activate operations, using generic context; file | diff | annotate
Fri, 13 Mar 2009 23:56:07 +0100 wenzelm merged file | diff | annotate
Fri, 13 Mar 2009 19:17:58 +0100 haftmann coherent binding policy with primitive target operations file | diff | annotate
Fri, 13 Mar 2009 23:50:05 +0100 wenzelm simplified method setup; file | diff | annotate
Fri, 13 Mar 2009 19:58:26 +0100 wenzelm unified type Proof.method and pervasive METHOD combinators; file | diff | annotate
Sun, 08 Mar 2009 17:26:14 +0100 wenzelm moved basic algebra of long names from structure NameSpace to Long_Name; file | diff | annotate
Sat, 07 Mar 2009 22:16:50 +0100 wenzelm more uniform handling of binding in targets and derived elements; file | diff | annotate
Thu, 05 Mar 2009 12:08:00 +0100 wenzelm renamed NameSpace.base to NameSpace.base_name; file | diff | annotate
Wed, 18 Feb 2009 19:18:32 +0100 haftmann more precise improvement in instantiation user space type system file | diff | annotate
Mon, 26 Jan 2009 22:14:19 +0100 haftmann fixed reading of class specs: declare class operations in context file | diff | annotate
Wed, 21 Jan 2009 23:40:23 +0100 haftmann allow empty class specs file | diff | annotate
Wed, 21 Jan 2009 16:47:03 +0100 haftmann code cleanup file | diff | annotate
Mon, 19 Jan 2009 08:16:42 +0100 haftmann improved tackling of subclasses file | diff | annotate
Sat, 17 Jan 2009 22:07:29 +0100 haftmann tuned signature file | diff | annotate
Sat, 17 Jan 2009 08:29:54 +0100 haftmann code cleanup file | diff | annotate
Fri, 16 Jan 2009 14:58:11 +0100 haftmann migrated class package to new locale implementation file | diff | annotate
Sun, 11 Jan 2009 14:18:16 +0100 haftmann construct explicit class morphism file | diff | annotate
Tue, 06 Jan 2009 08:50:02 +0100 haftmann locale -> old_locale, new_locale -> locale file | diff | annotate
Mon, 05 Jan 2009 15:55:04 +0100 haftmann locale -> old_locale, new_locale -> locale file | diff | annotate
Mon, 05 Jan 2009 15:36:24 +0100 haftmann rearranged target theories file | diff | annotate | base
less more (0) tip
isabelle