Nicolas Méric
|
10b98b660f
|
Fix typo
|
2024-03-12 16:02:25 +01:00 |
Nicolas Méric
|
a1677384b3
|
Update bug declare_reference* bug example
|
2024-03-11 15:51:34 +01:00 |
Nicolas Méric
|
46b094939a
|
Update bug example in Test_Polymorphic_Classes
|
2024-03-04 14:32:46 +01:00 |
Nicolas Méric
|
42da18cf3a
|
Reference a bug in polymorphic class implementation
|
2024-03-04 14:30:58 +01:00 |
Nicolas Méric
|
ec7297f1d3
|
Update instances list term antiquotation
ci/woodpecker/push/build Pipeline failed
Details
Make instances list term antiquotation compatible with
polymorphic classes
|
2023-09-11 09:07:10 +02:00 |
Nicolas Méric
|
ca7cdec9b4
|
Fix typos
ci/woodpecker/push/build Pipeline is pending
Details
|
2023-07-20 16:31:08 +02:00 |
Nicolas Méric
|
43aad517b9
|
Add basic explanation for lemma*, etc.
ci/woodpecker/push/build Pipeline failed
Details
Add basic explanation how to use lemma*, etc.
with term antiquotations of polymorphic class instances
|
2023-07-20 16:25:25 +02:00 |
Nicolas Méric
|
8d6c8929e2
|
Fix typos
ci/woodpecker/push/build Pipeline is pending
Details
|
2023-07-20 16:14:25 +02:00 |
Nicolas Méric
|
b364880bfc
|
Polymorphic classes first draft
|
2023-07-19 18:58:04 +02:00 |