Viewing all changes in revision 1.
- Committer: Bazaar Package Importer
- Date: 2002-02-15 09:17:20 UTC
- Revision ID: james.westby@ubuntu.com-20020215091720-vkqyskjgxfgxp4vb
Import upstream version 7.2
- files added:
- bin
- config
- contrib
- contrib/correctness
- contrib/correctness/examples
- contrib/extraction
- contrib/extraction/test
- contrib/extraction/test/custom
- contrib/field
- contrib/fourier
- contrib/graphs
- contrib/interface
- contrib/omega
- contrib/ring
- contrib/romega
- contrib/xml
- dev
- doc
- kernel
- lib
- library
- man
- parsing
- pretyping
- proofs
- scripts
- states
- syntax
- tactics
- test-suite
- test-suite/bench
- test-suite/failure
- test-suite/ideal-features
- test-suite/kernel
- test-suite/output
- test-suite/success
- test-suite/tactics
- theories
- theories/Arith
- theories/Bool
- theories/Init
- theories/IntMap
- theories/Lists
- theories/Logic
- theories/Reals
- theories/Relations
- theories/Setoids
- theories/Sets
- theories/Sorting
- theories/Wellfounded
- theories/ZArith
- tools
- toplevel
expand all
collapse all
added
removed
