Commits · 817d5d5fac1fea5d544d128dca67b2967b2de51a · research / cpdt

01 Oct, 2008 2 commits
- Put [try] in front of [subst], to avoid whining about recursive equalities · b67886f3
  Adam Chlipala authored 16 years ago
  
  b67886f3
- Remove [done] markers after enhancement phase finishes · 9525a82e
  Adam Chlipala authored 16 years ago
  
  9525a82e
30 Sep, 2008 2 commits
- Co-inductive evaluation example · 6e8d3f27
  Adam Chlipala authored 16 years ago
  
  6e8d3f27
- Beefed-up crush, with auto-inversion and lemma instantiation · 590dfc0b
  Adam Chlipala authored 16 years ago
  
  590dfc0b
28 Sep, 2008 3 commits
- What could go wrong; some exercises · 7f5ece6d
  Adam Chlipala authored 16 years ago
  
  7f5ece6d
- What could go wrong; some exercises · f8ee51b5
  Adam Chlipala authored 16 years ago
  
  f8ee51b5
- Recursive predicates · b0104b15
  Adam Chlipala authored 16 years ago
  
  b0104b15
12 Sep, 2008 1 commit
- Exercises · bba5eeb3
  Adam Chlipala authored 16 years ago
  
  bba5eeb3
10 Sep, 2008 1 commit
- Nested Inductive Types · d1745712
  Adam Chlipala authored 16 years ago
  
  d1745712
03 Sep, 2008 1 commit
- Squash book into main directory · 43ca60f6
  Adam Chlipala authored 16 years ago
  
  43ca60f6
29 Aug, 2008 2 commits
- Pretty LaTeX generation · 0f1efe21
  Adam Chlipala authored 16 years ago
  
  0f1efe21
- Start of stack machine example · 12b4adcf
  Adam Chlipala authored 16 years ago
  
  12b4adcf