Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLEcb64ccdc3ac1: support for Lazy.Text;.
support for Lazy.Text;
Sat, Jul 31, 11:15 PM
makarius committed rISABELLEcc23b4e66dce: prefer compact Isabelle.Bytes;.
prefer compact Isabelle.Bytes;
Sat, Jul 31, 10:10 PM
makarius committed rISABELLE6113f1db4342: clarified signature;.
clarified signature;
Sat, Jul 31, 10:10 PM
makarius committed rISABELLEdc962d4248ca: clarified signature --- more operations;.
clarified signature --- more operations;
Sat, Jul 31, 10:10 PM
makarius committed rISABELLE5721f1843e93: clarified order of modules;.
clarified order of modules;
Sat, Jul 31, 10:10 PM
makarius committed rISABELLE1d26f1a49480: tuned;.
tuned;
Sat, Jul 31, 10:10 PM
makarius committed rISABELLEc26f4ec59835: more operations;.
more operations;
Sat, Jul 31, 10:10 PM
makarius committed rISABELLEbe6b813926d1: tuned;.
tuned;
Sat, Jul 31, 10:10 PM
florian.haftmann committed rAFP82cfa5e04c85: more systematic approach for instantiation.
more systematic approach for instantiation
Sat, Jul 31, 6:08 PM
florian.haftmann committed rAFPf5bee47345aa: avoid seemingly unused transfer rules.
avoid seemingly unused transfer rules
Sat, Jul 31, 6:08 PM

Fri, Jul 30

makarius committed rISABELLE6d8674ffb962: clarified signature;.
clarified signature;
Fri, Jul 30, 11:02 PM
makarius committed rISABELLE12c984b7d391: tuned signature;.
tuned signature;
Fri, Jul 30, 11:02 PM
makarius committed rISABELLE73487ebd7332: clarified signature;.
clarified signature;
Fri, Jul 30, 10:40 PM
makarius committed rISABELLEe5e95395258d: merged.
merged
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEe249650504f3: tuned;.
tuned;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEa8bbeb266651: prefer Isabelle.Bytes, based on ShortByteString;.
prefer Isabelle.Bytes, based on ShortByteString;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEadaa2e9a4111: tuned signature: more generic operations;.
tuned signature: more generic operations;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLEf81d2a1cad69: tuned signature;.
tuned signature;
Fri, Jul 30, 4:55 PM
makarius committed rISABELLE5b68a5cd7061: prefer UTF8 implementation from Data.Text.Encoding (foreign C);.
prefer UTF8 implementation from Data.Text.Encoding (foreign C);
Fri, Jul 30, 4:55 PM
yonoteam committed rAFP6beec57f7d3f: cleaner presentation of analysis theorems in preliminaries.
cleaner presentation of analysis theorems in preliminaries
Fri, Jul 30, 2:00 AM

Thu, Jul 29

Asta Halkjær From <andro.from@gmail.com> committed rAFPe1046d8be835: Update to new Epistemic_Logic.thy.
Update to new Epistemic_Logic.thy
Thu, Jul 29, 5:57 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFP09d0f0e8b5f5: Avoid typedefs.
Avoid typedefs
Thu, Jul 29, 5:18 PM
desharna committed rISABELLE180ee02eb075: documented Mirabelle_Sledgehammer's new keep semantics.
documented Mirabelle_Sledgehammer's new keep semantics
Thu, Jul 29, 5:11 PM
desharna committed rISABELLEa2cbe81e1e32: changed Mirabelle_Sledgehammer keep option from path to boolean.
changed Mirabelle_Sledgehammer keep option from path to boolean
Thu, Jul 29, 8:45 AM

Wed, Jul 28

desharna committed rISABELLEb93d8c2ebab0: added automatic uniform stride option to Mirabelle.
added automatic uniform stride option to Mirabelle
Wed, Jul 28, 9:16 PM
desharna committed rISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b.
fixed HOL-ex following a5bab59d580b
Wed, Jul 28, 10:21 AM
desharna committed rISABELLEa5bab59d580b: added support for TFX $let to Sledgehammer's TPTP output.
added support for TFX $let to Sledgehammer's TPTP output
Wed, Jul 28, 10:05 AM

Tue, Jul 27

desharna committed rISABELLE6c8473b4f518: fixed TFX generation when universal quantifier is used as term.
fixed TFX generation when universal quantifier is used as term
Tue, Jul 27, 8:41 PM
desharna committed rISABELLE2af4e088c01c: merged.
merged
Tue, Jul 27, 8:41 PM
makarius committed rISABELLEdc98bb7a439b: merged.
merged
Tue, Jul 27, 4:10 PM
makarius committed rISABELLEa69a13c4b049: support for native symlinks on Windows;.
support for native symlinks on Windows;
Tue, Jul 27, 4:10 PM
makarius committed rISABELLEb25b7c264a93: various improvements of "isabelle scala_project";.
various improvements of "isabelle scala_project";
Tue, Jul 27, 4:10 PM
desharna committed rISABELLEffbd1b7e5439: tuned Mirabelle's theory selection.
tuned Mirabelle's theory selection
Tue, Jul 27, 1:40 PM
kleing committed rAFPd4dfaca0753b: Clean: set AFP standard document options.
Clean: set AFP standard document options
Tue, Jul 27, 8:35 AM
kleing committed rAFPf775ffffa43c: Clean: re-add to chapter AFP.
Clean: re-add to chapter AFP
Tue, Jul 27, 8:35 AM
kleing committed rAFP3ccdf21c5bb4: merge from afp-2021.
merge from afp-2021
Tue, Jul 27, 8:35 AM
paulson <lp15@cam.ac.uk> committed rAFP62ea872d1534: Finitely_Generated_Abelian_Groups website.
Finitely_Generated_Abelian_Groups website
Tue, Jul 27, 8:35 AM
paulson <lp15@cam.ac.uk> committed rAFP6f6a17c6bdde: new entry Finitely_Generated_Abelian_Groups.
new entry Finitely_Generated_Abelian_Groups
Tue, Jul 27, 8:35 AM

Mon, Jul 26

pruvisto committed rAFPfdc94d7251ed: Added Finitely_Generated_Abelian_Groups to metadata.
Added Finitely_Generated_Abelian_Groups to metadata
Mon, Jul 26, 10:34 PM
makarius committed rISABELLE62e4ec8cff38: clarified signature;.
clarified signature;
Mon, Jul 26, 1:54 PM