Viewing all changes in revision 1.
- Committer: Bazaar Package Importer
- Date: 2008-04-08 23:44:14 UTC
- Revision ID: james.westby@ubuntu.com-20080408234414-vkct3n3zy0d2la0n
Import upstream version 0.0.200804a
- files added:
- TODO
- apps.examples
- apps.examples/backup.Jan14
- apps.examples/backup.Mar10
- apps.src
- apps.src/old
- apps.src/test-directproof
- bin
- ladr
- ladr/html
- ladr/save
- ladr/tmp
- ladr/util
- mace4.examples
- mace4.src
- mace4.src/save
- mace4.src/util
- manpages
- prover9.examples
- provers.src
- provers.src/autosketches.examples
- provers.src/save
- provers.src/util
- test.src
- utilities
- utilities-old
expand all
collapse all
added
removed
