Page MenuHomePhabricator

Recent Activity

Today

paulson <lp15@cam.ac.uk> committed rISABELLEec7cc76e88e5: New library material from the AFP entry ZFC_in_HOL.
New library material from the AFP entry ZFC_in_HOL
Tue, Nov 12, 1:35 PM

Yesterday

haftmann committed rISABELLE038727567817: tuned order between theories.
tuned order between theories
Mon, Nov 11, 7:37 PM

Sun, Nov 10

haftmann committed rISABELLEa197532693a5: bit shifts as class operations.
bit shifts as class operations
Sun, Nov 10, 2:48 PM
haftmann committed rISABELLEb7d481cdd54d: new lemma.
new lemma
Sun, Nov 10, 2:48 PM
Lars Hupel <lars.hupel@mytum.de> committed rAFPf1ef07c47429: don't build Linear_Programming on Mac.
don't build Linear_Programming on Mac
Sun, Nov 10, 1:20 PM

Fri, Nov 8

wenzelm committed rISABELLE3c04a52c422a: tuned comments;.
tuned comments;
Fri, Nov 8, 9:48 PM
wenzelm committed rISABELLEfd82d53c1761: merged.
merged
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE06c6495fb1d0: retain type information from reconstruct_proof, notably for Export_Theory..
retain type information from reconstruct_proof, notably for Export_Theory.
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE4b45d592ce29: clarified modules;.
clarified modules;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE907b7a6471a0: tuned proofs;.
tuned proofs;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE77580c977e0c: more robust;.
more robust;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLEaedd11603fb4: tuned modules;.
tuned modules;
Fri, Nov 8, 8:51 PM
wenzelm committed rISABELLE950e1cfe0fe4: tuned proofs -- more stable proof terms without [rule_format];.
tuned proofs -- more stable proof terms without [rule_format];
Fri, Nov 8, 8:51 PM
paulson committed rISABELLEc4458eb355c0: merged.
merged
Fri, Nov 8, 5:18 PM
paulson <lp15@cam.ac.uk> committed rISABELLEce92360f0692: A slight tidying up of messy proof steps.
A slight tidying up of messy proof steps
Fri, Nov 8, 5:18 PM

Thu, Nov 7

wenzelm committed rISABELLE995fe5877d53: tuned declarations for more compact proof terms;.
tuned declarations for more compact proof terms;
Thu, Nov 7, 4:31 PM
wenzelm committed rISABELLE45a1fcee14a0: prefer named facts;.
prefer named facts;
Thu, Nov 7, 4:31 PM
wenzelm committed rISABELLE64249a83bc29: clarified contexts;.
clarified contexts;
Thu, Nov 7, 4:31 PM
wenzelm committed rISABELLEe06852132c1d: tuned messages;.
tuned messages;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE5bb2235d843d: clarified command-line;.
clarified command-line;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE41b6ca223500: tuned messages;.
tuned messages;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE8ac137c65776: tuned messages;.
tuned messages;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE70205e023cb4: more messages -- expose potential database problems;.
more messages -- expose potential database problems;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE324c40205fc8: clarified errors: include stdout;.
clarified errors: include stdout;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLEd61fd7aade69: clarified directory;.
clarified directory;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE22fcdadc404d: tuned;.
tuned;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE9ce299019d21: tuned message;.
tuned message;
Thu, Nov 7, 11:59 AM
wenzelm committed rISABELLE79b89278b825: clarified permissions;.
clarified permissions;
Thu, Nov 7, 11:59 AM

Wed, Nov 6

wenzelm committed rISABELLE9314a4cc84ea: merged.
merged
Wed, Nov 6, 11:55 PM
wenzelm committed rISABELLE510b89906d86: discontinued somewhat pointless Isabelle options: setup implicitly assumes….
discontinued somewhat pointless Isabelle options: setup implicitly assumes…
Wed, Nov 6, 11:55 PM
wenzelm committed rISABELLE67cbf2e52785: unused;.
unused;
Wed, Nov 6, 11:55 PM
wenzelm committed rISABELLE114db2b5a5f8: support for Phabricator mail configuration;.
support for Phabricator mail configuration;
Wed, Nov 6, 11:55 PM
traytel committed rISABELLE98ac9a4323a2: merged.
merged
Wed, Nov 6, 9:24 PM
traytel committed rISABELLEc9c1a64eeb69: corrected typo in lemma name.
corrected typo in lemma name
Wed, Nov 6, 9:24 PM
nipkow committed rISABELLEd628bbdce79a: moved lemma.
moved lemma
Wed, Nov 6, 7:17 PM
traytel committed rISABELLEb3956a37c994: merged.
merged
Wed, Nov 6, 4:39 PM
traytel committed rISABELLE1d19e844fa4d: characterization of until in terms of strong until (and vice versa)….
characterization of until in terms of strong until (and vice versa)…
Wed, Nov 6, 4:39 PM
nipkow committed rISABELLE295609359b58: tuned toc.
tuned toc
Wed, Nov 6, 11:09 AM

Tue, Nov 5

nipkow committed rAFP54f6a4f1d8a3: updated to fdb6c5034c24.
updated to fdb6c5034c24
Tue, Nov 5, 11:54 PM
immler committed rAFP2a06a089800f: merged.
merged
Tue, Nov 5, 11:54 PM