Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

transfinite
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

369dc242

Commit 369dc242 authored 2 years ago by Simon Spies

Downloads
- Patches
- Plain Diff

new versions of the step-indexing files

parent 6f31e0eb

Branches

Tags

No related merge requests found

Changes 9

Expand all Hide whitespace changes

Inline Side-by-side

Showing

theories/algebra/ordinals/ord_stepindex.v 0 additions, 322 deletions

theories/algebra/ordinals/ord_stepindex.v
theories/algebra/ordinals/set_functions.v 0 additions, 1021 deletions

theories/algebra/ordinals/set_functions.v
theories/algebra/ordinals/set_model.v 0 additions, 718 deletions

theories/algebra/ordinals/set_model.v
theories/algebra/ordinals/set_ordinals.v 0 additions, 509 deletions

theories/algebra/ordinals/set_ordinals.v
theories/algebra/ordinals/set_sets.v 0 additions, 516 deletions

theories/algebra/ordinals/set_sets.v
theories/stepindex/existential_properties.v 76 additions, 0 deletions

theories/stepindex/existential_properties.v
theories/stepindex/ordinal_arith.v 507 additions, 0 deletions

theories/stepindex/ordinal_arith.v
theories/stepindex/ordinals.v 755 additions, 0 deletions

theories/stepindex/ordinals.v
theories/stepindex/stepindex.v 197 additions, 383 deletions

theories/stepindex/stepindex.v

with 1535 additions and 3469 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment