Active Repositories
Active Repositories
- rPOLYML Poly/ML
- Mon, Feb 22, 4:23 PM2021-02-22 16:23:18 (UTC+1)
- Git
- rWEBSITE isabelle-website
- Sat, Feb 20, 9:18 PM2021-02-20 21:18:29 (UTC+1)
- Mercurial
Recent Activity
Recent Activity
Today
Today
nipkow committed rISABELLEc8e317a4c905: improved list_neq simproc.
improved list_neq simproc
revert accidental change
fix typo (Bauer -> Bayer)
add Windows example to use-instructions
paulson <lp15@cam.ac.uk> committed rAFPcb1f24a06749: Formal_Puiseux_Series website.
Formal_Puiseux_Series website
Isabelle app layout changed on Mac
paulson <lp15@cam.ac.uk> committed rAFP74a42283f683: new entry Formal_Puiseux_Series.
new entry Formal_Puiseux_Series
update with 2021 release .tar.gz's
add Isabelle2021 release date
update .tar.gz releases
Yesterday
Yesterday
repaired document
Wed, Feb 24
Wed, Feb 24
paulson <lp15@cam.ac.uk> committed rISABELLE915b3d41dec1: A couple of basic lemmas about arg.
A couple of basic lemmas about arg
emphasize connection to multisets
multiset as equivalence class of permuted lists
multiset as equivalence class of permuted lists
emphasize connection to multisets
makarius committed rISABELLE43ce3b8a25ee: proper "latest" tag, otherwise the default pull command from https://hub.docker..
proper "latest" tag, otherwise the default pull command from https://hub.docker.
Tue, Feb 23
Tue, Feb 23
Susannah Mansky <susannahej@gmail.com> committed rAFP3b6c0a05c5cf: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
more on Isabelle_System.bash;
more specific name
more specific name
dropped obscure FIXME
desharna committed rISABELLEf0210642e43f: proper usage of hypotheses for zipperposition's TPTP generation.
proper usage of hypotheses for zipperposition's TPTP generation
desharna committed rISABELLEf84a93f1de2f: tuned Mirabelle to parse option check_trivial only once.
tuned Mirabelle to parse option check_trivial only once
desharna committed rISABELLEa34b49841585: added stride option to Mirabelle.
added stride option to Mirabelle
desharna committed rISABELLEf6f1242ed367: proper prover capabilities for zipperposition.
proper prover capabilities for zipperposition