Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE5af17ce5d297: tuned;.
tuned;
Wed, Dec 7, 9:39 PM
makarius committed rISABELLE186dcfe746e3: merged.
merged
Wed, Dec 7, 9:39 PM
makarius committed rISABELLEbadb5264f7b9: clarified signature: just one level of arguments to avoid type-inference….
clarified signature: just one level of arguments to avoid type-inference…
Wed, Dec 7, 9:39 PM
makarius committed rISABELLEec8bf1268f45: tuned signature: more operations;.
tuned signature: more operations;
Wed, Dec 7, 9:39 PM
makarius committed rISABELLEb9a7a658f7df: tuned;.
tuned;
Wed, Dec 7, 9:39 PM
makarius committed rISABELLE3fc3c7c285cd: clarified signature;.
clarified signature;
Wed, Dec 7, 9:39 PM
desharna committed rISABELLE1c083e32aed6: stated goals of some lemmas explicitely to prevent silent changes.
stated goals of some lemmas explicitely to prevent silent changes
Wed, Dec 7, 2:39 PM
desharna committed rISABELLE82a36e3d1b55: rewrite proofs using to_pred attribute on existing lemmas.
rewrite proofs using to_pred attribute on existing lemmas
Wed, Dec 7, 2:39 PM

Tue, Dec 6

makarius committed rISABELLE6cd6c553b480: clarified signature: less redundancy;.
clarified signature: less redundancy;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE127ee77c24ff: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE1b7bb4f8c0f4: potentially more robust delay_load action: avoid loosing events due to guards;.
potentially more robust delay_load action: avoid loosing events due to guards;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE017384868fcb: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc9f897077089: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE71942a6af4ed: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE699d9a219e45: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEe5bf43eda6ed: more uniform tooltip for plugin options dialog;.
more uniform tooltip for plugin options dialog;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc79b43c1c7ab: tuned signature;.
tuned signature;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLE06b001094ddb: more uniform session selectors, with persistent options;.
more uniform session selectors, with persistent options;
Tue, Dec 6, 8:50 PM
makarius committed rISABELLEc662a56e77a8: tuned;.
tuned;
Tue, Dec 6, 8:50 PM
desharna committed rAFPc211edfd5b6e: removed Restricted_Predicates.irreflp_on following the introduction of….
removed Restricted_Predicates.irreflp_on following the introduction of…
Tue, Dec 6, 8:55 AM
desharna committed rISABELLE6714991edf8b: NEWS.
NEWS
Tue, Dec 6, 8:51 AM
desharna committed rISABELLE66addfbb0923: merged.
merged
Tue, Dec 6, 8:44 AM
desharna committed rISABELLE7bc934b99faf: added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp.
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
Tue, Dec 6, 8:44 AM
desharna committed rISABELLEcbf38b7cb195: added lemma totalp_on_converse[simp].
added lemma totalp_on_converse[simp]
Tue, Dec 6, 8:44 AM
desharna committed rISABELLEd8542bc5a3fa: added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp].
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
Tue, Dec 6, 8:44 AM
desharna committed rISABELLE5a13f1519f5d: added type annotations and tuned formatting.
added type annotations and tuned formatting
Tue, Dec 6, 8:44 AM
desharna committed rISABELLE608489919ecf: strengthened and renamed irreflp_greater[simp] and irreflp_less[simp].
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
Tue, Dec 6, 8:44 AM

Mon, Dec 5

makarius committed rISABELLE5150e1f62c86: merged.
merged
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE1c1d7b3478b1: tuned GUI behaviour;.
tuned GUI behaviour;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLEaef247025f07: more GUI elements;.
more GUI elements;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE318c6b466ec0: clarified modules;.
clarified modules;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE6827dd0c3723: clarified process: implicit load() when finished;.
clarified process: implicit load() when finished;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE89cd466e063d: tuned;.
tuned;
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE02d07758ce42: more robust, notably initial update();.
more robust, notably initial update();
Mon, Dec 5, 11:19 PM
makarius committed rISABELLE9c5780693350: tuned messages: implement "verbose = false", but there is no theory output….
tuned messages: implement "verbose = false", but there is no theory output…
Mon, Dec 5, 11:19 PM
desharna committed rAFPab056942c0bc: fixed Containers following introduction of irrefl_on.
fixed Containers following introduction of irrefl_on
Mon, Dec 5, 4:48 PM
desharna committed rISABELLEdf6ba3cf7874: added lemmas irrefl_on_subset and irreflp_on_subset.
added lemmas irrefl_on_subset and irreflp_on_subset
Mon, Dec 5, 4:44 PM
desharna committed rISABELLE595261b3d033: merged.
merged
Mon, Dec 5, 4:44 PM
desharna committed rISABELLE4352d0ff165a: introduced predicates irrefl_on and irreflp_on, and redefined irrefl and….
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and…
Mon, Dec 5, 4:44 PM
makarius committed rISABELLEd6a2a8bc40e1: tuned messages;.
tuned messages;
Mon, Dec 5, 3:20 PM