Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (4)

Low (6)

Wishlist (4)

Recent Activity

Today

nipkow committed rISABELLE415220b59d37: tuned.
tuned
Thu, Sep 24, 12:30 AM

Yesterday

florian.haftmann committed rAFPf04759177a5d: canonical enum instance for word.
canonical enum instance for word
Wed, Sep 23, 1:19 PM
florian.haftmann committed rAFPc5f056d78406: more thorough treatment of division, particularly signed division on int and….
more thorough treatment of division, particularly signed division on int and…
Wed, Sep 23, 1:19 PM
florian.haftmann committed rISABELLEbeeadb35e357: more thorough treatment of division, particularly signed division on int and….
more thorough treatment of division, particularly signed division on int and…
Wed, Sep 23, 1:18 PM
florian.haftmann committed rISABELLEdb43ee05066d: canonical enum instance for word.
canonical enum instance for word
Wed, Sep 23, 1:18 PM

Tue, Sep 22

Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFPa61b4f25e279: saturation framework: empty_ord instead of stk sublocale.
saturation framework: empty_ord instead of stk sublocale
Tue, Sep 22, 11:16 AM

Mon, Sep 21

Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFP0e6c8bca9e0f: merge.
merge
Mon, Sep 21, 5:04 PM
Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFP1219849915fc: saturation framework: cleaning comments.
saturation framework: cleaning comments
Mon, Sep 21, 5:04 PM

Sun, Sep 20

makarius committed rISABELLEae89eac1d332: merged.
merged
Sun, Sep 20, 9:18 PM
makarius committed rISABELLEdfe150a246e6: misc tuning and clarification: prefer functions over data;.
misc tuning and clarification: prefer functions over data;
Sun, Sep 20, 9:18 PM
makarius committed rISABELLE199dc903131b: clarified signature;.
clarified signature;
Sun, Sep 20, 9:18 PM
makarius committed rISABELLE48254fa33d88: proper ml_source: avoid duplicate Bash.string;.
proper ml_source: avoid duplicate Bash.string;
Sun, Sep 20, 9:18 PM
makarius committed rISABELLEf7189b7f5567: tuned;.
tuned;
Sun, Sep 20, 9:18 PM
makarius committed rISABELLEa1098a183f4a: misc tuning and clarification;.
misc tuning and clarification;
Sun, Sep 20, 9:18 PM
makarius committed rISABELLEb8f32e830e95: tuned messages;.
tuned messages;
Sun, Sep 20, 9:17 PM
makarius committed rISABELLE6931ab4f1a47: tuned;.
tuned;
Sun, Sep 20, 9:17 PM
paulson committed rISABELLE7e90e1d178b5: merged.
merged
Sun, Sep 20, 8:42 PM
paulson <lp15@cam.ac.uk> committed rISABELLE2af901e467da: de-applying and simplifying.
de-applying and simplifying
Sun, Sep 20, 8:42 PM
nipkow committed rAFP054fe88b46e0: merged.
merged
Sun, Sep 20, 6:19 PM
nipkow committed rAFP22fcbc497334: tuned.
tuned
Sun, Sep 20, 6:19 PM
traytel committed rAFP21a828811b10: locally deactivated simproc defined_all (following afp/81a8bf702c09).
locally deactivated simproc defined_all (following afp/81a8bf702c09)
Sun, Sep 20, 2:06 PM
traytel committed rAFP5c06d2f30891: replaced ceiling brackets by guillemots (following afp/fb851cb1ca27).
replaced ceiling brackets by guillemots (following afp/fb851cb1ca27)
Sun, Sep 20, 2:06 PM
traytel committed rAFPcead889b4653: isabelle update_cartouches -t;.
isabelle update_cartouches -t;
Sun, Sep 20, 2:06 PM
florian.haftmann committed rAFPb3e61e86eff9: identified operation alias; tuned.
identified operation alias; tuned
Sun, Sep 20, 8:49 AM

Sat, Sep 19

Achim D. Brucker <adbrucker@0x5f.org> committed rAFPb4e122867094: Fixed problems with Isabelle development version (Isabelle_16-Sep-2020)..
Fixed problems with Isabelle development version (Isabelle_16-Sep-2020).
Sat, Sep 19, 1:13 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPbb006369484c: adapted proofs of Extended_Finite_State_Machines from AFP 2020.
adapted proofs of Extended_Finite_State_Machines from AFP 2020
Sat, Sep 19, 12:05 PM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP5172f1f451e6: merge from afp 2020.
merge from afp 2020
Sat, Sep 19, 8:48 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP83c401b5d938: changed short name of upcoming new entry as discussed with authors.
changed short name of upcoming new entry as discussed with authors
Sat, Sep 19, 8:48 AM
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP16b4ee88928e: metadata and website for EFSMs.
metadata and website for EFSMs
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFPcd3f53ef34cf: sitegen for Robinson_Arithmetic.
sitegen for Robinson_Arithmetic
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP7d13e8f13c83: Fixed broken links (missing quote).
Fixed broken links (missing quote)
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP8907c16673c2: new entry Robinson_Arithmetic.
new entry Robinson_Arithmetic
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP9db0d57a3eea: Goedel_HFSet_Semanticless sitegen.
Goedel_HFSet_Semanticless sitegen
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP0c168d703584: missed for some reason.
missed for some reason
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP049697b05aae: sitegen for Goedel_HFSet_Semantic.
sitegen for Goedel_HFSet_Semantic
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP74138bb55eee: new entry Goedel_HFSet_Semantic.
new entry Goedel_HFSet_Semantic
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP2bddeb8064b6: new entry Goedel_Incompleteness.
new entry Goedel_Incompleteness
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFPc75a30c27269: sitegen Goedel_Incompleteness.
sitegen Goedel_Incompleteness
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP1e4a662fb9f9: sitegen for Syntax_Independent_Logic.
sitegen for Syntax_Independent_Logic
Sat, Sep 19, 8:48 AM
paulson <lp15@cam.ac.uk> committed rAFP1c25a24f6628: new entry Syntax_Independent_Logic.
new entry Syntax_Independent_Logic
Sat, Sep 19, 8:48 AM