Default Branch

master

1d497db5cf · Merge pull request 'referential-equivalence-first-draft' (#4) from nicolas.meric/Isabelle_DOF:referential-equivalence-first-draft into master · Updated 1 week ago

Branches

Unreleased/Isabelle2018

2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 2 years ago

370
13
Unreleased/Isabelle2020-RC4

2adf50fe83 · Merge branch 'Unreleased/Isabelle2020-RC4' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into Unreleased/Isabelle2020-RC4 · Updated 2 years ago

215
0
Included
add-todos-fix-typos

4d9de40037 · Add TODOs to improve the wording · Updated 10 months ago

77
0
Included
generalize-simplification

bfbe3b7b67 · Add a first generalization of simplification · Updated 3 weeks ago

2
1
referential-equivalence-first-draft

08c101c544 · Implement built-ins referential equivalence · Updated 3 weeks ago

2
0
Isabelle_DOF/Isabelle_DOF#4 Merged
term-command-implementation

e23ee48200 · merge · Updated 6 months ago

22
3
test-abstract-id

fe3c227e1c · Test asbtract class id · Updated 20 hours ago

0
2
test-record-generation-fix

f9ea20a7bb · Test record generation fix · Updated 2 days ago

0
1
v1.0.x/Isabelle2019

d0b183af79 · Improved docker run command. · Updated 2 years ago

309
0
Included
v1.1.x/Isabelle2020

922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Updated 9 months ago

44
1
v1.1.x/Isabelle2021

e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Updated 9 months ago

32
1
value-star-first-draft

664aede4c0 · First draft of the value* command implementation · Updated 3 weeks ago

4
0
Isabelle_DOF/Isabelle_DOF#3 Merged