Commits · 2a5d468780f6544704970cb827236dd3c901dafb · cduce / cduce

10 Jul, 2007 40 commits
- [r2002-12-05 15:47:05 by cvscast] Empty log message · 2a5d4687
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-05 15:48:13+00:00
```
  2a5d4687
- [r2002-12-03 23:41:22 by cvscast] Empty log message · 71956a78
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-03 23:41:22+00:00
```
  71956a78
- [r2002-12-03 23:37:23 by cvscast] Empty log message · 68f4aa3b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-03 23:37:24+00:00
```
  68f4aa3b
- [r2002-12-03 23:32:05 by cvscast] Empty log message · 6703c6bf
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-03 23:32:05+00:00
```
  6703c6bf
- [r2002-12-02 23:35:19 by cvscast] Empty log message · 4bf2762d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-02 23:35:19+00:00
```
  4bf2762d
- [r2002-12-02 23:22:25 by cvscast] Empty log message · 34237e20
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-02 23:22:25+00:00
```
  34237e20
- [r2002-12-02 23:05:47 by cvscast] Empty log message · 4728d2b7
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-02 23:05:47+00:00
```
  4728d2b7
- [r2002-12-02 22:22:04 by cvscast] Empty log message · 27c6e232
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-02 22:22:04+00:00
```
  27c6e232
- [r2002-12-02 16:56:43 by cvscast] Empty log message · c04b18d8
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-02 16:59:09+00:00
```
  c04b18d8
- [r2002-12-01 20:52:33 by cvscast] Empty log message · 677bed6b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-01 20:52:33+00:00
```
  677bed6b
- [r2002-12-01 20:46:51 by cvscast] Empty log message · db5f706c
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-12-01 20:46:51+00:00
```
  db5f706c
- [r2002-11-26 22:03:16 by cvscast] Empty log message · 5ba7e18d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-26 22:03:16+00:00
```
  5ba7e18d
- [r2002-11-26 14:13:32 by cvscast] Empty log message · fee7a8f4
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-26 14:13:33+00:00
```
  fee7a8f4
- [r2002-11-26 09:25:47 by cvscast] Empty log message · 70842f4d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-26 09:25:47+00:00
```
  70842f4d
- [r2002-11-25 23:59:50 by cvscast] Empty log message · d2480cc5
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-26 00:00:47+00:00
```
  d2480cc5
- [r2002-11-25 23:34:14 by cvscast] Empty log message · e19906b4
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 23:34:40+00:00
```
  e19906b4
- [r2002-11-25 23:29:46 by cvscast] Empty log message · 60588b93
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 23:29:47+00:00
```
  60588b93
- [r2002-11-25 19:07:42 by cvscast] Empty log message · 53687adf
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 19:07:42+00:00
```
  53687adf
- [r2002-11-25 16:10:56 by cvscast] Empty log message · 4dba310c
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 16:11:30+00:00
```
  4dba310c
- [r2002-11-25 16:04:21 by cvscast] Empty log message · 934bda8a
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 16:04:21+00:00
```
  934bda8a
- [r2002-11-25 13:58:05 by cvscast] Empty log message · 0866f98d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 14:02:50+00:00
```
  0866f98d
- [r2002-11-25 13:54:34 by cvscast] Empty log message · d0839f42
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-25 13:54:35+00:00
```
  d0839f42
- [r2002-11-24 22:19:27 by cvscast] Empty log message · eec56abd
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-24 22:19:27+00:00
```
  eec56abd
- [r2002-11-24 20:44:12 by cvscast] Empty log message · 467b59da
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-24 20:44:13+00:00
```
  467b59da
- [r2002-11-24 17:25:48 by cvscast] Empty log message · 0f6bf435
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-24 17:25:48+00:00
```
  0f6bf435
- [r2002-11-24 16:49:22 by cvscast] Simplifications in patterns.ml · 5afe3e5f
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-24 16:49:22+00:00
```
  5afe3e5f
- [r2002-11-24 15:35:53 by cvscast] Empty log message · 3a61c941
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-24 15:35:54+00:00
```
  3a61c941
- [r2002-11-20 23:20:10 by cvscast] Empty log message · f8e56c92
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-20 23:20:11+00:00
```
  f8e56c92
- [r2002-11-20 17:50:57 by cvscast] Empty log message · 874273d8
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-20 17:50:57+00:00
```
  874273d8
- [r2002-11-17 12:07:57 by cvscast] Empty log message · 30e9db86
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-17 12:07:57+00:00
```
  30e9db86
- [r2002-11-17 12:00:06 by cvscast] Empty log message · 82f4d941
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-17 12:00:06+00:00
```
  82f4d941
- [r2002-11-17 11:56:27 by cvscast] Empty log message · b0efcf34
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-17 11:56:46+00:00
```
  b0efcf34
- [r2002-11-17 11:34:45 by cvscast] Empty log message · 7cf0335b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-17 11:34:45+00:00
```
  7cf0335b
- [r2002-11-17 09:28:21 by cvscast] Empty log message · dd8dc14f
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-17 09:28:22+00:00
```
  dd8dc14f
- [r2002-11-16 22:37:05 by cvscast] Empty log message · 44adaf30
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-16 22:37:05+00:00
```
  44adaf30
- [r2002-11-16 22:29:36 by cvscast] Empty log message · 26e655a0
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-16 22:29:36+00:00
```
  26e655a0
- [r2002-11-16 22:17:14 by cvscast] Empty log message · 07489b93
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-16 22:17:14+00:00
```
  07489b93
- [r2002-11-16 18:44:26 by cvscast] Empty log message · 34c2cc05
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-16 18:44:26+00:00
```
  34c2cc05
- [r2002-11-16 16:19:54 by cvscast] Empty log message · 0d987226
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-16 16:19:54+00:00
```
  0d987226
- [r2002-11-16 14:34:49 by cvscast] Empty log message · 0ea3d65e
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2002-11-16 14:35:45+00:00
```
  0ea3d65e