Commits · b8535f497f476eff61754f031be8f9c881c79ff2 · research / cpdt

25 Jul, 2012 1 commit
- Pass through DataStruct, to incorporate new coqdoc features; globally replace... · 7c543be3
  Adam Chlipala authored 12 years ago
```
Pass through DataStruct, to incorporate new coqdoc features; globally replace [refl_equal] with [eq_refl]
```
  7c543be3
17 Jul, 2012 1 commit
- Update for Coq trunk version intended for final 8.4 release · a6fa0f0e
  Adam Chlipala authored 12 years ago
  
  a6fa0f0e
08 Jun, 2012 1 commit
- Typesetting pass over DataStruct · 13542f14
  Adam Chlipala authored 12 years ago
  
  13542f14
06 Jun, 2012 1 commit
- Get it working in Coq 8.4beta1; use nice coqdoc notation for italics · dfa9fe9d
  Adam Chlipala authored 12 years ago
  
  dfa9fe9d
26 Mar, 2012 1 commit
- Finish pass over LogicProg; change [crush] to take advantage of new [Hint... · 90207a2d
  Adam Chlipala authored 12 years ago
```
Finish pass over LogicProg; change [crush] to take advantage of new [Hint Rewrite] syntax that uses database [core] by default
```
  90207a2d
02 Mar, 2012 1 commit
- Move exercises out of mainline book · d7ee798c
  Adam Chlipala authored 13 years ago
  
  d7ee798c
16 Oct, 2011 1 commit
- Pass through DataStruct · 571f6130
  Adam Chlipala authored 13 years ago
  
  571f6130
07 Sep, 2011 1 commit
- Rename Tactics; change 'principal typing' to 'principal types' · 1ac03f93
  Adam Chlipala authored 13 years ago
  
  1ac03f93
17 Jan, 2011 1 commit
- Tweak mark-up to support coqdoc 8.3 · 12609c55
  Adam Chlipala authored 14 years ago
  
  12609c55
09 Dec, 2010 2 commits
- Spelling errors found preparing JFR paper · e4004e1a
  Adam Chlipala authored 14 years ago
  
  e4004e1a
- Fixes added while proofreading JFR camera-ready · d2f328ef
  Adam Chlipala authored 14 years ago
  
  d2f328ef
05 Nov, 2010 1 commit
- PC comments for DataStruct · 921fb3f1
  Adam Chlipala authored 14 years ago
  
  921fb3f1
18 Nov, 2009 1 commit
- Update DataStruct with a new reason to use reflexive types; start Universes · 3ee333ce
  Adam Chlipala authored 15 years ago
  
  3ee333ce
11 Nov, 2009 3 commits
- Touch-ups to DataStruct · 6a0a19dd
  Adam Chlipala authored 15 years ago
  
  6a0a19dd
- Switch DepList to inductive, not recursive, types · c8613be0
  Adam Chlipala authored 15 years ago
  
  c8613be0
- Port DataStruct · b87eea7b
  Adam Chlipala authored 15 years ago
  
  b87eea7b
06 Nov, 2009 2 commits
- 'make doc' works with 8.2 · 74c693d5
  Adam Chlipala authored 15 years ago
  
  74c693d5
- Parts I want to keep compile with 8.2 · e1ab379e
  Adam Chlipala authored 15 years ago
  
  e1ab379e
22 Oct, 2008 2 commits
- Clarify intent to use hlist · 0196caaa
  Adam Chlipala authored 16 years ago
  
  0196caaa
- s/reflexive/index function · 748b7f8b
  Adam Chlipala authored 16 years ago
  
  748b7f8b
20 Oct, 2008 1 commit
- s/itree/htree · c4fd7607
  Adam Chlipala authored 16 years ago
  
  c4fd7607
14 Oct, 2008 6 commits
- Clarify exercise wording · 79f135de
  Adam Chlipala authored 16 years ago
  
  79f135de
- Pattern-matching exercise · a849d3ba
  Adam Chlipala authored 16 years ago
  
  a849d3ba
- itree exercise · de7f281e
  Adam Chlipala authored 16 years ago
  
  de7f281e
- Templatize DataStruct · f5213d37
  Adam Chlipala authored 16 years ago
  
  f5213d37
- Commentary on cond example · 55ffec41
  Adam Chlipala authored 16 years ago
  
  55ffec41
- Code for cond-folding example · 3a9f31ab
  Adam Chlipala authored 16 years ago
  
  3a9f31ab
13 Oct, 2008 6 commits
- Index functions · 5de46602
  Adam Chlipala authored 16 years ago
  
  5de46602
- Recursive type definitions · 20755d6b
  Adam Chlipala authored 16 years ago
  
  20755d6b
- STLC interp · ef6c76bb
  Adam Chlipala authored 16 years ago
  
  ef6c76bb
- hlist and hget · 98aa990b
  Adam Chlipala authored 16 years ago
  
  98aa990b
- Commentary on ilist get · fbca7ab5
  Adam Chlipala authored 16 years ago
  
  fbca7ab5
- Start of DataStruct · d0ccb0d5
  Adam Chlipala authored 16 years ago
  
  d0ccb0d5