| Tue, 09 Apr 2013 12:29:36 +0200 | wenzelm | tuned message; | changeset | files |
| Tue, 09 Apr 2013 16:32:04 +0200 | blanchet | handle case clashes on Mac file system by encoding goal numbers | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | avoid duplicate "tcon_" names | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | smoothly handle cyclic graphs | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | compile + fixed naming convention | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | reverted accidental changes to theory file + updated wrt ML file | changeset | files |
| Tue, 09 Apr 2013 15:19:14 +0200 | blanchet | no need to filter tautologies anymore -- they are prefiltered by "all_facts"' | changeset | files |