![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Fig4.1-expAxioms.key | 2006-12-23 12:45 | 361 | |
![]() | Fig4.2-expLemma.key | 2006-12-23 12:45 | 335 | |
![]() | Fig4.3-propositionalRules.key | 2006-12-23 12:45 | 452 | |
![]() | Fig4.4-firstOrderRules.key | 2006-12-23 12:45 | 506 | |
![]() | Fig4.5-rewritingRules.key | 2006-12-23 12:45 | 716 | |
![]() | Fig4.6-ifElseSplit.key | 2006-12-23 12:45 | 526 | |
![]() | Fig4.7-assign.key | 2006-12-23 12:45 | 665 | |
![]() | Fig4.10-instAll.key | 2006-12-23 12:45 | 321 | |
![]() | Sect4.4.2-optionalExpAxioms.key | 2006-12-23 12:45 | 615 | |